Type Classes with Functional Dependencies
- 12 May 2000
- book chapter
- Published by Springer Nature
- p. 230-244
- https://doi.org/10.1007/3-540-46425-5_15
Abstract
No abstract availableKeywords
This publication has 4 references indexed in Scilit:
- A system of constructor classes: overloading and implicit higher-order polymorphismJournal of Functional Programming, 1995
- Simplifying and improving qualified typesPublished by Association for Computing Machinery (ACM) ,1995
- Parametric type classesPublished by Association for Computing Machinery (ACM) ,1992
- How to make ad-hoc polymorphism less ad hocPublished by Association for Computing Machinery (ACM) ,1989