Extensible Algebraic Datatypes with Defaults (2001)

Cached

Download Links

by Matthias Zenger , Martin Odersky
Venue:In Proceedings of the International Conference on Functional Programming
Citations:39 - 8 self

Active Bibliography

14 Implementing Extensible Compilers – Matthias Zenger, Martin Odersky - 2001
8 Reconciling Software Extensibility with Modular Program Reasoning – Todd David Millstein - 2003
34 Modular typechecking for hierarchically extensible datatypes and functions – Todd Millstein, Colin Bleckner, Craig Chambers - 2002
6 Implementing Extensible Theorem Provers – Kathi Fisler, Shriram Krishnamurthi, Kathryn E. Gray - 1999
44 Independently extensible solutions to the expression problem – Matthias Zenger, Martin Odersky - 2005
8 Extensible programming with first-class cases – Matthias Blume, Umut Acar, Wonseok Chae - 2006
Type Safe Extensible Programming – Wonseok Chae - 2009
56 MultiJava: Design rationale, compiler implementation, and applications – Curtis Clifton, Todd Millstein, Gary T. Leavens, Craig Chambers - 2004
25 Programming Languages for Reusable Software Components – Matthew Flatt - 1999
The Runabout ⋆ – Christian Grothoff
46 Synthesizing object-oriented and functional design to promote re-use – Shriram Krishnamurthi, Matthias Felleisen, Daniel P. Friedman - 1998
4 W.R.: Extensibility for the masses: Practical extensibility with object algebras – Bruno C. D. S. Oliveira, William R. Cook
MultiJava: Design, Implementation, and Evaluation . . . – Curtis Charles Clifton - 2001
1 SIMPLIFYING THE ANALYSIS OF C++ PROGRAMS – Yuriy Solodkyy, Jaakko Järvi, Lawrence Rauchwerger, Sergiy Butenko, Duncan M. (hank Walker - 2013
131 Modular Object-Oriented Programming with Units and Mixins – Robert Bruce Findler, Matthew Flatt - 1998
18 Evolving Software with Extensible Modules – Matthias Zenger - 2002
7 Toward a Formal Theory of Extensible Software – Shriram Krishnamurthi, Matthias Felleisen - 1998
2 MultiJava: Modular symmetric multiple dispatch and extensible classes for Java – Copyright Curtis Clifton, Craig Chambers, Craig Chambers, Todd Millstein, Todd Millstein, Curtis Clifton, Curtis Clifton, Gary T. Leavens, Gary T. Leavens, Gary T. Leavens - 2000
Draft for OOPSLA 2012 Open and Efficient Type Switch for C++ – Yuriy Solodkyy, Gabriel Dos, Reis Bjarne Stroustrup