Programming with Polymorphic Variants (1998)

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

Documents Related by Co-Citation

34 Code reuse through polymorphic variants – Jacques Garrigue - 2000
44 Independently extensible solutions to the expression problem – Matthias Zenger, Martin Odersky - 2005
39 Extensible Algebraic Datatypes with Defaults – Matthias Zenger, Martin Odersky - 2001
46 Synthesizing object-oriented and functional design to promote re-use – Shriram Krishnamurthi, Matthias Felleisen, Daniel P. Friedman - 1998
8 Simple type inference for structural polymorphism – Jacques Garrigue - 2002
90 Object-Oriented Programming Versus Abstract Data Types – William R. Cook - 1990
82 The Essence of the Visitor Pattern – Jens Palsberg, C. Barry Jay - 1997
189 MultiJava: Modular Open Classes and Symmetric Multiple Dispatch for Java – Curtis Clifton, Gary T. Leavens - 2000
128 Typechecking records and variants in a natural extension of ML – D Rémy - 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
131 Modular Object-Oriented Programming with Units and Mixins – Robert Bruce Findler, Matthew Flatt - 1998
5242 Design Patterns: Elements of Reusable Object-Oriented Software – E Gamma, R Helm, R Johnson, J Vlissides - 1994
1565 The Definition of Standard ML – Robin Milner, Mads Tofte - 1990
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
90 Type inference with constrained types. Theory and Practice of Object Systems – M Odersky, M Sulzmann, M Wehr - 1999
18 Extending ML with Semi-Explicit Higher-Order Polymorphism – Jacques Garrigue, Didier Remy - 1997