The CakeML Project's Quest for Ever Stronger Correctness Theorems (Invited Paper).

Magnus O. Myreen

Published in: ITP (2021)

Keyphrases

invited paper
case study
website
software development
software projects
neural network
data mining
artificial intelligence
artificial neural networks
european project
databases
information systems
information technology
e government
learning community