A Nominal Theory of Objects with Dependent Types (2002)

by Martin Odersky , Vincent Cremet , Christine Röckl , Matthias Zenger
Venue:In Proc. ECOOP’03, Springer LNCS
Citations:84 - 14 self

Documents Related by Co-Citation

466 Featherweight Java: A Minimal Core Calculus for Java and GJ – Atsushi Igarashi, Benjamin C. Pierce, Philip Wadler - 1999
62 Scalable Component Abstractions – Martin Odersky, Matthias Zenger - 2005
388 Mixin-based inheritance – Gilad Bracha, William Cook - 1990
99 Jiazzi: New-Age Components for Old-Fashioned Java – Sean McDirmid , Matthew Flatt, Wilson C. Hsieh - 2001
88 Family polymorphism – Erik Ernst - 2001
122 Modular Object-Oriented Programming with Units and Mixins – Robert Bruce Findler, Matthew Flatt - 1998
52 Scalable extensibility via nested inheritance – Nathaniel Nystrom, Stephen Chong, Andrew C. Myers - 2004
38 A virtual class calculus – Erik Ernst, Klaus Ostermann, William R. Cook - 2005
69 A Statically Safe Alternative to Virtual Types – Kim B. Bruce, Martin Odersky, Philip Wadler - 1998
38 Adding wildcards to the Java programming language – Mads Torgersen, Christian Plesner Hansen, Erik Ernst - 2004
239 Classes and Mixins – Matthew Flatt, Shriram Krishnamurthi, Matthias Felleisen - 1998
93 Virtual classes: A powerful mechanism in object-oriented programming – Ole Lehrmann Madsen, Birger Møller-pedersen - 1989
62 Mixin modules in a call-by-value setting – Tom Hirschowitz, Xavier Leroy - 2002
251 A Type-Theoretic Approach to Higher-Order Modules with Sharing – Robert Harper, Mark Lillibridge - 1994
84 Object-Oriented Programming Versus Abstract Data Types – William R. Cook - 1990
135 PolyTOIL: A type-safe polymorphic object-oriented language – Kim B. Bruce, Adrian Fiech, Angela Schuett, Robert Van Gent - 1995
59 Dynamically Composable Collaborations with Delegation Layers – Klaus Ostermann - 2002
261 Scaling Step-Wise Refinement – Don Batory, Jacob Neal Sarvela, Axel Rauschmayer - 2004
47 MultiJava: Design rationale, compiler implementation, and applications – Curtis Clifton, Todd Millstein, Gary T. Leavens, Craig Chambers - 2004