Constructive Type Classes in Isabelle
- 1 January 2007
- conference paper
- conference paper
- Published by Springer Science and Business Media LLC in Lecture Notes in Computer Science
Abstract
No abstract availableThis 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 ContextsLecture Notes in Computer Science, 2006
- Partial Recursive Functions in Higher-Order LogicLecture Notes in Computer Science, 2006
- Structured Proofs in Isar/HOLLecture Notes in Computer Science, 2003
- Proof Terms for Simply Typed Higher Order LogicLecture Notes in Computer Science, 2000
- Isar — A Generic Interpretative Approach to Readable Formal Proof DocumentsLecture Notes in Computer Science, 1999
- Locales A Sectioning Concept for IsabelleLecture Notes in Computer Science, 1999
- Type classes and overloading in higher-order logicPublished by Springer Science and Business Media LLC ,1997
- Type classes in HaskellACM Transactions on Programming Languages and Systems, 1996
- Implementing type classesPublished by Association for Computing Machinery (ACM) ,1993