Derivable Type Classes
Open Access
- 31 August 2001
- journal article
- Published by Elsevier in Electronic Notes in Theoretical Computer Science
- Vol. 41 (1) , 5-35
- https://doi.org/10.1016/s1571-0661(05)80542-0
Abstract
No abstract availableKeywords
This publication has 10 references indexed in Scilit:
- Manufacturing datatypesJournal of Functional Programming, 2001
- Type Classes with Functional DependenciesPublished by Springer Nature ,2000
- A new approach to generic functional programmingPublished by Association for Computing Machinery (ACM) ,2000
- Implicit parametersPublished by Association for Computing Machinery (ACM) ,2000
- Polytypic Values Possess Polykinded TypesPublished by Springer Nature ,2000
- Functorial MLJournal of Functional Programming, 1998
- PolyP---a polytypic programming language extensionPublished by Association for Computing Machinery (ACM) ,1997
- Compiling Haskell by program transformation: A report from the trenchesPublished by Springer Nature ,1996
- Generic functional programming with types and relationsJournal of Functional Programming, 1996
- Polymorphic type inferencePublished by Association for Computing Machinery (ACM) ,1983