Mtac
- 25 September 2013
- conference paper
- conference paper
- Published by Association for Computing Machinery (ACM) in Proceedings of the 18th ACM SIGPLAN international conference on Functional programming
- Vol. 48 (9), 87-100
- https://doi.org/10.1145/2500365.2500579
Abstract
No abstract availableKeywords
This publication has 22 references indexed in Scilit:
- CompCertTSOJournal of the ACM, 2013
- Lightweight Proof by Reflection Using a Posteriori Simulation of Effectful ComputationLecture Notes in Computer Science, 2013
- A Machine-Checked Proof of the Odd Order TheoremLecture Notes in Computer Science, 2013
- seL4Communications of the ACM, 2010
- Formal verification of a realistic compilerCommunications of the ACM, 2009
- System Description: Delphin – A Functional Programming Language for Deductive SystemsElectronic Notes in Theoretical Computer Science, 2009
- Contextual modal type theoryACM Transactions on Computational Logic, 2008
- First-Class Type ClassesLecture Notes in Computer Science, 2008
- The $\nabla$ -Calculus. Functional Programming with Higher-Order EncodingsLecture Notes in Computer Science, 2005
- A framework for defining logicsJournal of the ACM, 1993