CakeML
- 8 January 2014
- conference paper
- conference paper
- Published by Association for Computing Machinery (ACM)
Abstract
No abstract availableThis publication has 22 references indexed in Scilit:
- Steps towards Verified Implementations of HOL LightLecture Notes in Computer Science, 2013
- TRX: A Formally Verified Parser InterpreterLogical Methods in Computer Science, 2011
- OutsideIn(X)Modular type inference with local assumptionsJournal of Functional Programming, 2011
- Formal verification of a realistic compilerCommunications of the ACM, 2009
- Coinductive big-step operational semanticsInformation and Computation, 2009
- Extensible Proof-Producing CompilationLecture Notes in Computer Science, 2009
- Mechanized Metatheory for the Masses: The PoplMark ChallengeLecture Notes in Computer Science, 2005
- VLISP: A verified implementation of SchemeHigher-Order and Symbolic Computation, 1995
- A Syntactic Approach to Type SoundnessInformation and Computation, 1994
- A theory of type polymorphism in programmingJournal of Computer and System Sciences, 1978