Axiomatic Constructor Classes in Isabelle/HOLCF
Authors:
- 1 January 2005
- book chapter
- Published by Springer Nature in Lecture Notes in Computer Science
- p. 147-162
Abstract
No abstract availableKeywords
This publication has 12 references indexed in Scilit:
- Theorem Reuse by Proof Term TransformationLecture Notes in Computer Science, 2004
- Locales and Locale Expressions in Isabelle/Isar2004
- Interactive Theorem Proving and Program Development2004
- Isabelle/HOL2002
- A study of evaluation order semantics in expressions with side effectsJournal of Functional Programming, 2000
- An Infrastructure for Intertheory ReasoningLecture Notes in Computer Science, 2000
- Locales A Sectioning Concept for Isabelle1999
- HOLCF = HOL + LCFJournal of Functional Programming, 1999
- IMPS: An updated system description1996
- HOLCF: Higher order logic of computable functionsLecture Notes in Computer Science, 1995