Author:
Austin Evan,Alexander Perry
Publisher
Springer Berlin Heidelberg
Reference16 articles.
1. Austin, E., Alexander, P.: HaskHOL: A Haskell Hosted Domain Specific Language Representation of HOL Light. In: Trends in Functional Programming Draft Proceedings (2010)
2. Lecture Notes in Computer Science;A. Bove,2009
3. Coquand, T.: A New Paradox in Type Theory. In: Logic, Methodology and Philosophy of Science IX: Proceedings of the Ninth International Congress of Logic, Methodology, and Philosophy of Science, pp. 7–14. Elsevier (1994)
4. Gordon, M.: Why Higher-Order Logic is a Good Formalism for Specifying and Verifying Hardware, North-Holland (1986)
5. Haftmann, F.: From Higher-Order Logic to Haskell: There and Back Again. In: Gallagher, J.P., Voigtländer, J. (eds.) Proceedings of the 2010 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, PEPM 2010, Madrid, Spain, January 18-19. ACM (2010)