Programming with Polymorphic Variants (1998)

by Jacques Garrigue
Venue:In ML Workshop
Citations:44 - 10 self

Documents Related by Co-Citation

34 Code reuse through polymorphic variants – Jacques Garrigue - 2000
46 Synthesizing object-oriented and functional design to promote re-use – Shriram Krishnamurthi, Matthias Felleisen, Daniel P. Friedman - 1998
89 Object-Oriented Programming Versus Abstract Data Types – William R. Cook - 1990
46 Independently extensible solutions to the expression problem – Matthias Zenger, Martin Odersky - 2005
41 Extensible Algebraic Datatypes with Defaults – Matthias Zenger, Martin Odersky - 2001
81 The Essence of the Visitor Pattern – Jens Palsberg, C. Barry Jay - 1997
8 Simple type inference for structural polymorphism – Jacques Garrigue - 2002
192 MultiJava: Modular Open Classes and Symmetric Multiple Dispatch for Java – Curtis Clifton, Gary T. Leavens - 2000
129 Typechecking records and variants in a natural extension of ML – D Remy - 1989
72 A Polymorphic Record Calculus and Its Compilation – Atsushi Ohori - 1995
63 Recursive Structures for Standard ML – Claudio V. Russo - 2001
106 Applicative Functors and Fully Transparent Higher-Order Modules – Xavier Leroy - 1995
132 Modular Object-Oriented Programming with Units and Mixins – Robert Bruce Findler, Matthew Flatt - 1998
5296 Design Patterns Elements of Reusable Object-Oriented Software – E Gamma, R Helm, R Johnson, J Vlissides - 1995
1566 The Definition of Standard ML – Robin Milner, Mads Tofte - 1990
24 Walkabout revisited: The runabout – Christian Grothoff - 2003
317 Pizza into Java: Translating theory into practice – Martin Odersky, Philip Wadler - 1997
11 The expression problem. Discussion on the Java-Genericity mailing list – Philip Wadler - 1998
18 Extending ML with Semi-Explicit Higher-Order Polymorphism – Jacques Garrigue, Didier Remy - 1997