Parametric type classes
- 1 January 1992
- journal article
- Published by Association for Computing Machinery (ACM) in ACM SIGPLAN Lisp Pointers
- Vol. V (1) , 170-181
- https://doi.org/10.1145/141478.141536
Abstract
No abstract availableThis publication has 9 references indexed in Scilit:
- Comprehending monadsPublished by Association for Computing Machinery (ACM) ,1990
- Interactive type analysis and extended message splitting; optimizing dynamically-typed object-oriented programsPublished by Association for Computing Machinery (ACM) ,1990
- Safe run-time overloadingPublished by Association for Computing Machinery (ACM) ,1990
- Order-sorted unificationJournal of Symbolic Computation, 1989
- How to make ad-hoc polymorphism less ad hocPublished by Association for Computing Machinery (ACM) ,1989
- F-bounded polymorphism for object-oriented programmingPublished by Association for Computing Machinery (ACM) ,1989
- Principal type-schemes for functional programsPublished by Association for Computing Machinery (ACM) ,1982
- A language for computational algebraPublished by Association for Computing Machinery (ACM) ,1981
- A Machine-Oriented Logic Based on the Resolution PrincipleJournal of the ACM, 1965