Combining programming with theorem proving
- 12 September 2005
- proceedings article
- Published by Association for Computing Machinery (ACM)
- Vol. 40 (9) , 66-77
- https://doi.org/10.1145/1086365.1086375
Abstract
No abstract availableKeywords
This publication has 9 references indexed in Scilit:
- Languages of the futurePublished by Association for Computing Machinery (ACM) ,2004
- The view from the leftJournal of Functional Programming, 2004
- Guarded recursive datatype constructorsPublished by Association for Computing Machinery (ACM) ,2003
- Faking it Simulating dependent types in HaskellJournal of Functional Programming, 2002
- Dependent Types for Program Termination VerificationHigher-Order and Symbolic Computation, 2002
- A type system for certified binariesPublished by Association for Computing Machinery (ACM) ,2002
- Higher-order abstract syntaxPublished by Association for Computing Machinery (ACM) ,1988
- The calculus of constructionsInformation and Computation, 1988
- Fourier-Motzkin elimination and its dualJournal of Combinatorial Theory, Series A, 1973