Modular typechecking for hierarchically extensible datatypes and functions (2002)

Cached

Download Links

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

Documents Related by Co-Citation

163 MultiJava: Modular Open Classes and Symmetric Multiple Dispatch for Java – Curtis Clifton, Gary T. Leavens - 2000
4648 Design Patterns: Elements of Reusable Object-Oriented Software – Erich Gamma, Richard Helm, Ralph Johnson, John Vlissides - 1994
388 Mixin-based inheritance – Gilad Bracha, William Cook - 1990
55 Modular Statically Typed Multimethods – Todd Millstein, Craig Chambers - 2002
155 Object-Oriented Multi-Methods in Cecil – Craig Chambers - 1992
47 MultiJava: Design rationale, compiler implementation, and applications – Curtis Clifton, Todd Millstein, Gary T. Leavens, Craig Chambers - 2004
41 Simple objects for Standard ML – John Reppy, Jon Riecke - 1996
18 Relaxed MultiJava: balancing extensibility and modular typechecking – Todd Millstein, Mark Reay, Craig Chambers - 2003
466 Featherweight Java: A Minimal Core Calculus for Java and GJ – Atsushi Igarashi, Benjamin C. Pierce, Philip Wadler - 1999
39 Synthesizing object-oriented and functional design to promote re-use – Shriram Krishnamurthi, Matthias Felleisen, Daniel P. Friedman - 1998
32 Extensible Algebraic Datatypes with Defaults – Matthias Zenger, Martin Odersky - 2001
122 Modular Object-Oriented Programming with Units and Mixins – Robert Bruce Findler, Matthew Flatt - 1998
93 Virtual classes: A powerful mechanism in object-oriented programming – Ole Lehrmann Madsen, Birger Møller-pedersen - 1989
131 A Calculus for Overload Functions with Subtyping – G. Castagna, G. Ghelli, G. Longo - 1992
127 Covariance and contravariance: Conflict without a cause – Giuseppe Castagna - 1995
80 The Design of a Class Mechanism for MOBY – Kathleen Fisher, John Reppy - 1999
174 Units: Cool Modules for HOT Languages – Matthew Flatt, Matthias Felleisen - 1998
49 Type Checking Higher-Order Polymorphic Multi-Methods – Francois Bourdoncle , Stephan Merz - 1997
74 Predicate Dispatching: A Unified theory of Dispatch – Michael Ernst, Craig Kaplan, Craid Chambers - 1998