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
62 Modular Statically Typed Multimethods – Todd Millstein, Craig Chambers - 2002
5242 Design Patterns: Elements of Reusable Object-Oriented Software – E Gamma, R Helm, R Johnson, J Vlissides - 1994
56 MultiJava: Design rationale, compiler implementation, and applications – Curtis Clifton, Todd Millstein, Gary T. Leavens, Craig Chambers - 2004
423 Mixin-based inheritance – Gilad Bracha, William Cook - 1990
171 Object-Oriented Multi-Methods in Cecil – Craig Chambers - 1992
548 Featherweight Java: A Minimal Core Calculus for Java and GJ – Atsushi Igarashi, Benjamin C. Pierce, Philip Wadler - 1999
141 A Calculus for Overload Functions with Subtyping – G. Castagna, G. Ghelli, G. Longo - 1992
131 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
39 Extensible Algebraic Datatypes with Defaults – Matthias Zenger, Martin Odersky - 2001
90 Predicate Dispatching: A Unified theory of Dispatch – Michael Ernst, Craig Kaplan, Craid Chambers - 1998
605 The Definition of Standard ML (Revised – Robin Milner, Mads Tofte, Robert Harper, David Macqueen - 1997
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
134 Covariance and contravariance: Conflict without a cause – Giuseppe Castagna - 1995
46 Synthesizing object-oriented and functional design to promote re-use – Shriram Krishnamurthi, Matthias Felleisen, Daniel P. Friedman - 1998
55 Objective ML: An effective object-oriented extension to ML – Didier Rémy, Jérôme Vouillon - 1998
34 Code reuse through polymorphic variants – Jacques Garrigue - 2000