Type classes and overloading in higher-order logic
Author:
- 1 January 1997
- book chapter
- Published by Springer Nature
- p. 307-322
Abstract
No abstract availableKeywords
This publication has 9 references indexed in Scilit:
- Set theory, higher order logic or both?1996
- The HOL Logic and System1994
- Isabelle1994
- Type checking type classes1993
- 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 Declarations1989
- Completeness in the theory of typesThe Journal of Symbolic Logic, 1950
- A formulation of the simple theory of typesThe Journal of Symbolic Logic, 1940