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
2014ANU Authors
Field of Research
- Computational Logic And Formal Languages