Modular typechecking for hierarchically extensible datatypes and functions (2002)

by Todd Millstein , Colin Bleckner , Craig Chambers
Venue:In Proceedings of the International Conference on Functional Programming
Citations:34 - 6 self

Documents Related by Co-Citation

189 MultiJava: Modular Open Classes and Symmetric Multiple Dispatch for Java – Curtis Clifton, Gary T. Leavens - 2000
170 Object-Oriented Multi-Methods in Cecil – Craig Chambers - 1992
62 Modular Statically Typed Multimethods – Todd Millstein, Craig Chambers - 2002
5237 Design Patterns: Elements of Reusable Object-Oriented Software – Erich Gamma, Richard Helm, Ralph Johnson, John Vlissides - 1995
56 MultiJava: Design rationale, compiler implementation, and applications – Curtis Clifton, Todd Millstein, Gary T. Leavens, Craig Chambers - 2004
421 Mixin-based inheritance – Gilad Bracha, William Cook - 1990
39 Extensible Algebraic Datatypes with Defaults – Matthias Zenger, Martin Odersky - 2001
547 Featherweight Java: A Minimal Core Calculus for Java and GJ – Atsushi Igarashi, Benjamin C. Pierce, Philip Wadler - 1999
138 A Calculus for Overload Functions with Subtyping – G. Castagna, G. Ghelli, G. Longo - 1992
132 Modular Object-Oriented Programming with Units and Mixins – Robert Bruce Findler, Matthew Flatt - 1998
42 Simple objects for Standard ML – John Reppy, Jon Riecke - 1996
34 Code reuse through polymorphic variants – Jacques Garrigue - 2000
22 Relaxed MultiJava: Balancing extensibility and modular typechecking, in: OOPSLA’03 – T Millstein, M Reay, C Chambers - 2003
81 The Design of a Class Mechanism for MOBY – Kathleen Fisher, John Reppy - 1999
133 Covariance and contravariance: Conflict without a cause – Giuseppe Castagna - 1995
257 Classes and Mixins – Matthew Flatt, Shriram Krishnamurthi, Matthias Felleisen - 1998
46 Synthesizing object-oriented and functional design to promote re-use – Shriram Krishnamurthi, Matthias Felleisen, Daniel P. Friedman - 1998
52 Objective ML: An effective object-oriented extension to ML – Didier Rémy, Jérôme Vouillon - 1998
90 Predicate Dispatching: A Unified theory of Dispatch – Michael Ernst, Craig Kaplan, Craid Chambers - 1998