Associated type synonyms
- 12 September 2005
- conference paper
- conference paper
- Published by Association for Computing Machinery (ACM) in Proceedings of the tenth ACM SIGPLAN international conference on Functional programming - ICFP '05
- Vol. 40 (9), 241-253
- https://doi.org/10.1145/1086365.1086397
Abstract
No abstract availableKeywords
This publication has 19 references indexed in Scilit:
- A theory of overloadingACM Transactions on Programming Languages and Systems, 2005
- Essential language support for generic programmingACM SIGPLAN Notices, 2005
- Languages of the futurePublished by Association for Computing Machinery (ACM) ,2004
- Strongly typed heterogeneous collectionsPublished by Association for Computing Machinery (ACM) ,2004
- Formatting: a class actJournal of Functional Programming, 2003
- Template meta-programming for HaskellACM SIGPLAN Notices, 2002
- A static semantics for HaskellJournal of Functional Programming, 2002
- Functional unparsingJournal of Functional Programming, 1998
- Type classes in HaskellACM Transactions on Programming Languages and Systems, 1996
- A system of constructor classes: overloading and implicit higher-order polymorphismJournal of Functional Programming, 1995