Code reuse through polymorphic variants (2000)

by Jacques Garrigue
Venue:In Workshop on Foundations of Software Engineering
Citations:34 - 3 self

Documents Related by Co-Citation

39 Extensible Algebraic Datatypes with Defaults – Matthias Zenger, Martin Odersky - 2001
5242 Design Patterns: Elements of Reusable Object-Oriented Software – E Gamma, R Helm, R Johnson, J Vlissides - 1994
131 Modular Object-Oriented Programming with Units and Mixins – Robert Bruce Findler, Matthew Flatt - 1998
42 Programming with polymorphic variants – Jacques Garrigue - 1998
90 Object-Oriented Programming Versus Abstract Data Types – William R. Cook - 1990
44 Independently extensible solutions to the expression problem – Matthias Zenger, Martin Odersky - 2005
46 Synthesizing object-oriented and functional design to promote re-use – Shriram Krishnamurthi, Matthias Felleisen, Daniel P. Friedman - 1998
189 MultiJava: Modular Open Classes and Symmetric Multiple Dispatch for Java – Curtis Clifton, Gary T. Leavens - 2000
423 Mixin-based inheritance – Gilad Bracha, William Cook - 1990
33 The Expression Problem Revisited — Four new solutions using generics – Mads Torgersen - 2004
233 Monad Transformers and Modular Interpreters – Sheng Liang, Paul Hudak, Mark Jones - 1995
82 The Essence of the Visitor Pattern – Jens Palsberg, C. Barry Jay - 1997
317 Pizza into Java: Translating theory into practice – Martin Odersky, Philip Wadler - 1997
34 Modular typechecking for hierarchically extensible datatypes and functions – Todd Millstein, Colin Bleckner, Craig Chambers - 2002
27 Some Challenging Typing Issues in Object-Oriented Languages (Extended Abstract) – Kim B. Bruce - 2003
141 A Denotational Semantics of Inheritance – William R. Cook, Brian Dalio, Tom Freeman, Craig Hansen-sturm, Victor Law, Leonard Nicholson, James Redfern, Tom Rockwell, Chris Warth - 1989
68 Applicative programming with effects – Conor Mcbride, Ross Paterson
60 Mixin Modules – Dominic Duggan, Constantinos Sourelis - 1996
756 On understanding types, data abstraction, and polymorphism – Luca Cardelli, Peter Wegner - 1985