The next 700 compiler correctness theorems (functional pearl).

Daniel Patterson Amal Ahmed

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

Keyphrases

general purpose
programming language
knowledge base
databases
high level
causal models
real time
neural network
machine learning
website
functional analysis