MultiJava: Modular Open Classes and Symmetric Multiple Dispatch for Java (2000)

by Curtis Clifton , Gary T. Leavens
Venue:In OOPSLA 2000 Conference on Object-Oriented Programming, Systems, Languages, and Applications
Citations:189 - 22 self

Active Bibliography

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
MultiJava: Design, Implementation, and Evaluation . . . – Curtis Charles Clifton - 2001
8 Reconciling Software Extensibility with Modular Program Reasoning – Todd David Millstein - 2003
62 Modular Statically Typed Multimethods – Todd Millstein, Craig Chambers - 2002
56 MultiJava: Design rationale, compiler implementation, and applications – Curtis Clifton, Todd Millstein, Gary T. Leavens, Craig Chambers - 2004
9 Expressive and modular predicate dispatch for java – Todd Millstein, Christopher Frost, Jason Ryder, Alessandro Warth - 2009
7 Modularly Typesafe Interface Dispatch in JPred – Christopher Frost, Todd Millstein - 2006
34 Modular typechecking for hierarchically extensible datatypes and functions – Todd Millstein, Colin Bleckner, Craig Chambers - 2002
18 Half & Half: Multiple Dispatch and Retroactive Abstraction for Java – Gerald Baumgartner, Martin Jansche, Konstantin Läufer - 2002
1 Subtyping and Inheritance in Object-Oriented Programming – Stoyan Kurtev - 2000
24 Type-Safe Compilation of Covariant Specialization: A Practical Case – John Boyland, Giuseppe Castagna
7 Type System of an Object-Oriented Database Programming Language (Extended Abstract) – Y. Leontiev, M. Tamer Özsu, Duane Szafron, M. Tamer, Ozsu Duane Szafron - 1999
InEuropeanConf.onObject-OrientedProgr.(ECOOP'96),LectureNotesinComputerScience1098:3-25,1996. Type-Safe Compilation of Covariant Specialization: A Practical Case – John Boyl
4 Featherweight java with multi-methods – Lorenzo Bettini, Sara Capecchi, Betti Venneri - 2007
24 Multiple Dispatch as Dispatch on Tuples – Gary T. Leavens, Todd D. Millstein - 1998
3 The Diesel language specification and rationale: Version 0.2 – Craig Chambers - 2006
53 The Cecil language -- specification and rationale: Version 3.2 – Craig Chambers, The Cecil Group - 2004
C++-like object model – Emanuele Panizzi, Bernardo Pastorelli, Emanuele Panizzi, Bernardo Pastorelli
4 BeCecil, a Core Object-Oriented Language with Block Structure and Multimethods: Semantics and Typing – Craig Chambers, Gary T. Leavens - 1997