Associated types with class
- 12 January 2005
- journal article
- Published by Association for Computing Machinery (ACM) in ACM SIGPLAN Notices
- Vol. 40 (1), 1-13
- https://doi.org/10.1145/1047659.1040306
Abstract
No abstract availableThis publication has 25 references indexed in Scilit:
- A theory of overloadingACM Transactions on Programming Languages and Systems, 2005
- The Sketch of a Polymorphic SymphonyElectronic Notes in Theoretical Computer Science, 2002
- Type-Indexed Data TypesLecture Notes in Computer Science, 2002
- A static semantics for HaskellJournal of Functional Programming, 2002
- Generalizing generalized triesJournal of Functional Programming, 2000
- Parametricity and variants of Girard's J operatorInformation Processing Letters, 1999
- The Matrix Template Library: generic components for high-performance scientific computingComputing in Science & Engineering, 1999
- Dynamic typing for distributed programming in polymorphic languagesACM Transactions on Programming Languages and Systems, 1999
- Flexible representation analysisPublished by Association for Computing Machinery (ACM) ,1997
- A system of constructor classes: overloading and implicit higher-order polymorphismJournal of Functional Programming, 1995