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
342 Making the future safe for the past: Adding Genericity to the Java Programming Language – Gilad Bracha , Martin Odersky, David Stoutamire, Philip Wadler - 1998
105 Family polymorphism – E Ernst - 2001
26 Semantics-Driven Language Design: Statically Type-Safe Virtual Types in Object-Oriented Languages – Kim B. Bruce, Joseph C. Vanderwaart - 1999
77 A Statically Safe Alternative to Virtual Types – Kim B. Bruce, Martin Odersky, Philip Wadler - 1998
46 Synthesizing object-oriented and functional design to promote re-use – Shriram Krishnamurthi, Matthias Felleisen, Daniel P. Friedman - 1998
5237 Design Patterns: Elements of Reusable Object-Oriented Software – Erich Gamma, Richard Helm, Ralph Johnson, John Vlissides - 1995
46 Subtyping is not a good "match" for object-oriented languages – Kim B. Bruce, Leaf Petersen, Adrian Fiech - 1997
137 PolyTOIL: A type-safe polymorphic object-oriented language – Kim B. Bruce, Adrian Fiech, Angela Schuett, Robert Van Gent - 1995
547 Featherweight Java: A Minimal Core Calculus for Java and GJ – Atsushi Igarashi, Benjamin C. Pierce, Philip Wadler - 1999
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 Higher-order hierarchies – Erik Ernst - 2003
44 Independently extensible solutions to the expression problem – Matthias Zenger, Martin Odersky - 2005
39 Extensible Algebraic Datatypes with Defaults – Matthias Zenger, Martin Odersky - 2001
16 LOOJ: Weaving LOOM into Java – Kim B. Bruce, J. Nathan Foster - 2004
135 F-Bounded Polymorphism for Object-Oriented Programming – P Canning, W Cook, W Hill, W Olthoff, J Mitchell - 1989
96 A Nominal Theory of Objects with Dependent Types – Martin Odersky, Vincent Cremet, Christine Röckl, Matthias Zenger - 2002
34 Code reuse through polymorphic variants – Jacques Garrigue - 2000