Independently extensible solutions to the expression problem (2005)

by Matthias Zenger , Martin Odersky
Venue:In Proc. FOOL 12
Citations:44 - 5 self

Documents Related by Co-Citation

33 The Expression Problem Revisited — Four new solutions using generics – Mads Torgersen - 2004
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
39 Extensible Algebraic Datatypes with Defaults – Matthias Zenger, Martin Odersky - 2001
42 Programming with polymorphic variants – Jacques Garrigue - 1998
27 Some Challenging Typing Issues in Object-Oriented Languages (Extended Abstract) – Kim B. Bruce - 2003
34 The expression problem revisited – M Torgersen - 2004
90 Object-Oriented Programming Versus Abstract Data Types – William R. Cook - 1990
39 User-defined Types and Procedural Data Structures as Complementary Approaches to Type Abstraction – J C Reynolds - 1975
105 Family polymorphism – E Ernst - 2001
268 A Type-Theoretic Approach to Higher-Order Modules with Sharing – Robert Harper, Mark Lillibridge - 1994
34 Modular typechecking for hierarchically extensible datatypes and functions – Todd Millstein, Colin Bleckner, Craig Chambers - 2002
97 A Nominal Theory of Objects with Dependent Types – Martin Odersky, Vincent Cremet, Christine Röckl, Matthias Zenger - 2002
131 Modular Object-Oriented Programming with Units and Mixins – Robert Bruce Findler, Matthew Flatt - 1998
78 A Statically Safe Alternative to Virtual Types – Kim B. Bruce, Martin Odersky, Philip Wadler - 1998
43 Adding wildcards to the Java programming language – Mads Torgersen, Christian Plesner Hansen, Erik Ernst - 2004
423 Mixin-based inheritance – Gilad Bracha, William Cook - 1990
22 Open data types and open functions – Andres Löh, Ralf Hinze - 2006
317 Pizza into Java: Translating theory into practice – Martin Odersky, Philip Wadler - 1997