Essential language support for generic programming
- 12 June 2005
- journal article
- Published by Association for Computing Machinery (ACM) in ACM SIGPLAN Notices
- Vol. 40 (6), 73-84
- https://doi.org/10.1145/1064978.1065021
Abstract
No abstract availableThis publication has 25 references indexed in Scilit:
- ML FPublished by Association for Computing Machinery (ACM) ,2003
- The Subtyping Problem for Second-Order Types Is UndecidableInformation and Computation, 2002
- Family PolymorphismLecture Notes in Computer Science, 2001
- Intersection types and bounded polymorphismMathematical Structures in Computer Science, 1997
- Type classes in HaskellACM Transactions on Programming Languages and Systems, 1996
- An overview of the Tecton proof systemTheoretical Computer Science, 1994
- Parametric type classesPublished by Association for Computing Machinery (ACM) ,1992
- Polymorphic type inference and containmentInformation and Computation, 1988
- On understanding types, data abstraction, and polymorphismACM Computing Surveys, 1985
- Fast Decision Procedures Based on Congruence ClosureJournal of the ACM, 1980