Generalized algebraic data types and object-oriented programming
- 12 October 2005
- conference paper
- Published by Association for Computing Machinery (ACM)
- Vol. 40 (10) , 21-40
- https://doi.org/10.1145/1094811.1094814
Abstract
No abstract availableKeywords
This publication has 9 references indexed in Scilit:
- Languages of the futurePublished by Association for Computing Machinery (ACM) ,2004
- Polymorphic typed defunctionalizationPublished by Association for Computing Machinery (ACM) ,2004
- Guarded recursive datatype constructorsPublished by Association for Computing Machinery (ACM) ,2003
- Fun with phantom typesPublished by Bloomsbury Academic ,2003
- Intensional polymorphism in type-erasure semanticsJournal of Functional Programming, 2002
- Extensible algebraic datatypes with defaultsPublished by Association for Computing Machinery (ACM) ,2001
- Design and implementation of generics for the .NET Common language runtimePublished by Association for Computing Machinery (ACM) ,2001
- Featherweight JavaPublished by Association for Computing Machinery (ACM) ,1999
- Pizza into JavaPublished by Association for Computing Machinery (ACM) ,1997