Some Challenging Typing Issues in Object-Oriented Languages (Extended Abstract) (2003)

Cached

Download Links

by Kim B. Bruce
Citations:27 - 1 self

Documents Related by Co-Citation

33 The Expression Problem Revisited — Four new solutions using generics – Mads Torgersen - 2004
105 Family polymorphism – E Ernst - 2001
46 Synthesizing object-oriented and functional design to promote re-use – Shriram Krishnamurthi, Matthias Felleisen, Daniel P. Friedman - 1998
5242 Design Patterns: Elements of Reusable Object-Oriented Software – E Gamma, R Helm, R Johnson, J Vlissides - 1994
26 Semantics-Driven Language Design: Statically Type-Safe Virtual Types in Object-Oriented Languages – Kim B. Bruce, Joseph C. Vanderwaart - 1999
78 A Statically Safe Alternative to Virtual Types – Kim B. Bruce, Martin Odersky, Philip Wadler - 1998
137 PolyTOIL: A type-safe polymorphic object-oriented language – Kim B. Bruce, Adrian Fiech, Angela Schuett, Robert Van Gent - 1995
344 Making the future safe for the past: Adding Genericity to the Java Programming Language – Gilad Bracha , Martin Odersky, David Stoutamire, Philip Wadler - 1998
15 Simple dependent types: Concord – Paul Jolly, Sophia Drossopoulou, Christopher Anderson, Klaus Ostermann - 2005
63 Scalable extensibility via nested inheritance – Nathaniel Nystrom, Stephen Chong, Andrew C. Myers - 2004
39 Extensible Algebraic Datatypes with Defaults – Matthias Zenger, Martin Odersky - 2001
423 Mixin-based inheritance – Gilad Bracha, William Cook - 1990
548 Featherweight Java: A Minimal Core Calculus for Java and GJ – Atsushi Igarashi, Benjamin C. Pierce, Philip Wadler - 1999
97 A Nominal Theory of Objects with Dependent Types – Martin Odersky, Vincent Cremet, Christine Röckl, Matthias Zenger - 2002
39 Higher-order hierarchies – Erik Ernst - 2003
44 Independently extensible solutions to the expression problem – Matthias Zenger, Martin Odersky - 2005
189 MultiJava: Modular Open Classes and Symmetric Multiple Dispatch for Java – Curtis Clifton, Gary T. Leavens - 2000
34 Code reuse through polymorphic variants – Jacques Garrigue - 2000
82 The Essence of the Visitor Pattern – Jens Palsberg, C. Barry Jay - 1997