First-Class Type Classes
- 1 January 2008
- conference paper
- conference paper
- Published by Springer Science and Business Media LLC in Lecture Notes in Computer Science
Abstract
No abstract availableThis publication has 14 references indexed in Scilit:
- Constructive Type Classes in IsabelleLecture Notes in Computer Science, 2007
- Subset Coercions in CoqLecture Notes in Computer Science, 2006
- Isabelle/IsarLecture Notes in Computer Science, 2006
- Axiomatic Constructor Classes in Isabelle/HOLCFLecture Notes in Computer Science, 2005
- A Logical Framework with Dependently Typed RecordsLecture Notes in Computer Science, 2003
- Type Classes with Functional DependenciesLecture Notes in Computer Science, 2000
- Dependently Typed Records for Representing Mathematical StructureLecture Notes in Computer Science, 2000
- 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
- How to make ad-hoc polymorphism less ad hocPublished by Association for Computing Machinery (ACM) ,1989