Generalized algebraic data types and object-oriented programming

ACM SIGPLAN Notices

Volumn 40, Issue 10, 2005, Pages 21-40

  Kennedy, Andrew ^a   Russo, Claudio V ^a  

^a MICROSOFT RESEARCH   (United Kingdom)

Author keywords

Constraints; Generalized algebraic data types; Generics

Indexed keywords

ALGEBRA; COMPUTER PROGRAMMING LANGUAGES; CONSTRAINT THEORY; DATA STRUCTURES; GRAPHICAL USER INTERFACES; PARAMETER ESTIMATION; QUERY LANGUAGES;

FUNCTIONAL PROGRAMMING; GENERALIZED ALGEBRAIC DATA TYPES (GADT); GENERICS; PARAMETERIZED ALGEBRAIC DATATYPES (PADT);

OBJECT ORIENTED PROGRAMMING;

EID: 33745208721     PISSN: 03621340     EISSN: 03621340     Source Type: Journal    
DOI: 10.1145/1103845.1094814     Document Type: Article

References (26)

1. F. Baader and T. Nipkow. Term Rewriting and All That. Cambridge University Press, 1998.
2. K. B. Bruce, L. Cardelli, G. Castagna, J. Eifrig, S. F. Smith, V. Trifonov, G. T. Leavens, and B. C. Pierce. On binary methods. Theory and Practice of Object Systems, 1 (3):221-242, 1995.
3. J. Cheney and R. Hinze. First-class phantom types. Technical Report 1901, Cornell University, 2003.
4. T. Coquand. Pattern matching with dependent types. In Proceedings of the 1992 Workshop on Types for Proofs and Programs, 1992.
5. K. Crary, S. Weirich, and G. Morrisett. Intensional polymorphism in type erasure semantics. In Journal of Functional Programming, November 2002.
6. E. Gamma, R. Helm, R. Johnson, and J. Vlissides. Design Patterns: Elements of Reusable Object-Oriented Software. Addison-Wesley Professional Computing Series. Addison-Wesley Publishing Company, New York, NY, 1995.
7. A. Hejlsberg, S. Wiltamuth, and P. Golde. C# version 2.0 specification, 2005. Available from http://msdn.microcrosoft.com/vcsharp/team/language/default. aspx.
8. R. Hinze. Fun with phantom types. In J. Gibbons and O. de Moor, editors, The Fun of Programming, pages 245-262. Palgrave Macmillan, Mar. 2003.
9. A. Igarashi, B. Pierce, and P. Wadler. Featherweight Java: A minimal core calculus for Java and GJ. In Conference on Object-Oriented Programming, Systems, Languages and Applications (OOPSLA), 1999.
10. #: Expressivity of parametric polymorphism in an object-oriented language. Concurrency and Computation: Practice and Experience, 16:707-733, 2004.
11. A. J. Kennedy and D. Syme. Design and implementation of generics for the .NET Common Language Runtime. In Programming Language Design and Implementation. ACM, 2001.
12. E. Meijer, November 2004. Presentation to IFIP WG 2.8 (private communication).
13. M. Odersky, P. Altherr, V. Cremet, B. Emir, S. Micheloud, N. Mihaylov, M. Schinz, E. Stenman, and M. Zenger. The Scala language specification, 2005. Available from http://scala.epfl.ch/.
14. M. Odersky and P. Wadler. Pizza into Java: Translating Theory into Practice. In 24th ACM Symposium on Principles of Programming Languages (POPL), pages 146-159, 1997.
15. C. Paulin-Mohring. Inductive definitions in the system Coq: Rules and properties. Technical Report 92-49, Laboratoire de l'Informatique du Parallélisme, Ecole Normale Supérieure de Lyon, December 1992.
16. S. Peyton Jones et al. The ghc compiler version 6.4, March 2005. Download at http://haskell.org/ghc.
17. S. Peyton Jones, G. Washburn, and S. Weirich. Wobbly types: type inference for generalised algebraic data types. Draft, July 2004.
18. F. Pottier and N. Gauthier. Polymorphic typed defunctionalization. In Proceedings of the 31st ACM Symposium on Principles of Programming Languages (POPL'04), pages 89-98, Venice, Italy, Jan. 2004.
19. P. Sestoft. Representing typed expressions, December 2001. Code sample in http://www.dina.kvl.dk/~ sestoft/gcsharp/#expr.
20. P. Sestoft and H. I. Hansen. C# Precisely. MIT Press, October 2004.
21. T. Sheard. Languages of the future. In OOPSLA '04: Companion to the 19th annual ACM SIGPLAN conference on Object-oriented programming systems, languages, and applications, pages 116-119. ACM Press, 2004.
22. T. Sheard and E. Pasalic. Meta-programming with built-in type equality. In Fourth International Workshop on Logical Frameworks and Meta-languages (LFM'04), July 2004.
23. V. Simonet and F. Pottier. Constraint-based type inference for guarded algebraic data types. Research Report 5462, INRIA, Jan. 2005.
24. S. Weirich. Type-checker to generate typed term from untyped source, September 2004. Response to challenge at Dagstuhl'04 set by Lennart Augustsson. In ghc regression suite (tc.hs).
25. H. Xi, C. Chen, and G. Chen. Guarded recursive datatype constructors. In POPL '03: Proceedings of the 30th ACM SIGPLAN-SIGACT symposium on Principles of Programming Languages, pages 224-235. ACM Press, 2003.
26. M. Zenger and M. Odersky. Extensible algebraic datatypes with defaults. In ICFP '01: Proceedings of the 6th ACM International Conference on Functional Programming, pages 241-252. ACM Press, 2001.