Monadic compiler calculation (functional pearl).

Patrick Bahr Graham Hutton

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

Keyphrases

programming language
deductive databases
general purpose
neural network
website
conditional independence
datalog queries
artificial intelligence
search engine
relational databases
causal relationships
fixpoint
highly optimized