CakeML: A Verified Implementation of ML

Citation

Kumar, R, Norrish, M, Owens, S et al 2014, 'CakeML: A Verified Implementation of ML', POPL 2014: 41st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, Association for Computing Machinery (ACM), USA, pp. 179-191.

Year

2014

ANU Authors

Field of Research

  • Computational Logic And Formal Languages

Updated:  15 April 2021 / Responsible Officer:  Director (Research Services Division) / Page Contact:  Researchers