Calculating dependently-typed compilers (functional pearl).

Mitchell Pickard Graham Hutton

Published in: Proc. ACM Program. Lang. (2021)

Keyphrases

higher order
programming language
causal models
artificial intelligence
hardware and software
fixed order
neural network
computer architecture
real time
real world
expert systems
relational databases
belief revision
causal relationships
conditional independence