Mtac
Open Access
- 25 September 2013
- conference paper
- Published by Association for Computing Machinery (ACM)
- Vol. 48 (9) , 87-100
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 Theorem2013
- 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 Classes2008
- The $\nabla$ -Calculus. Functional Programming with Higher-Order EncodingsLecture Notes in Computer Science, 2005
- A framework for defining logicsJournal of the ACM, 1993