Type classes and overloading in higher-order logic
- 1 January 1997
- book chapter
- Published by Springer Nature
- p. 307-322
- https://doi.org/10.1007/bfb0028402
Abstract
No abstract availableKeywords
This publication has 8 references indexed in Scilit:
- Set theory, higher order logic or both?Published by Springer Nature ,1996
- IsabellePublished by Springer Nature ,1994
- Type checking type classesPublished by Association for Computing Machinery (ACM) ,1993
- Report on the programming language HaskellACM SIGPLAN Notices, 1992
- The foundation of a generic theorem proverJournal of Automated Reasoning, 1989
- Computational Aspects of an Order-Sorted Logic with Term DeclarationsPublished by Springer Nature ,1989
- Completeness in the theory of typesThe Journal of Symbolic Logic, 1950
- A formulation of the simple theory of typesThe Journal of Symbolic Logic, 1940