Constructive Type Classes in Isabelle
Authors:
- 1 January 2007
- book chapter
- Published by Springer Nature
- p. 160-174
Abstract
No abstract availableKeywords
This publication has 12 references indexed in Scilit:
- A module calculus for Pure Type SystemsJournal of Functional Programming, 2006
- Interpretation of Locales in Isabelle: Theories and Proof Contexts2006
- Partial Recursive Functions in Higher-Order Logic2006
- Structured Proofs in Isar/HOL2003
- Proof Terms for Simply Typed Higher Order Logic2000
- Isar — A Generic Interpretative Approach to Readable Formal Proof Documents1999
- Locales A Sectioning Concept for Isabelle1999
- Type classes and overloading in higher-order logic1997
- Type classes in HaskellACM Transactions on Programming Languages and Systems, 1996
- Implementing type classes1993