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
46 Synthesizing object-oriented and functional design to promote re-use – Shriram Krishnamurthi, Matthias Felleisen, Daniel P. Friedman - 1998
344 Making the future safe for the past: Adding Genericity to the Java Programming Language – Gilad Bracha , Martin Odersky, David Stoutamire, Philip Wadler - 1998
44 Independently extensible solutions to the expression problem – Matthias Zenger, Martin Odersky - 2005
34 Code reuse through polymorphic variants – Jacques Garrigue - 2000
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
78 A Statically Safe Alternative to Virtual Types – Kim B. Bruce, Martin Odersky, Philip Wadler - 1998
39 Extensible Algebraic Datatypes with Defaults – Matthias Zenger, Martin Odersky - 2001
39 User-defined Types and Procedural Data Structures as Complementary Approaches to Type Abstraction – J C Reynolds - 1975
5242 Design Patterns: Elements of Reusable Object-Oriented Software – E Gamma, R Helm, R Johnson, J Vlissides - 1994
131 Modular Object-Oriented Programming with Units and Mixins – Robert Bruce Findler, Matthew Flatt - 1998
137 PolyTOIL: A type-safe polymorphic object-oriented language – Kim B. Bruce, Adrian Fiech, Angela Schuett, Robert Van Gent - 1995
548 Featherweight Java: A Minimal Core Calculus for Java and GJ – Atsushi Igarashi, Benjamin C. Pierce, Philip Wadler - 1999
136 J.C.: F-bounded polymorphism for object-oriented programming – P Canning, W Cook, W Hill, W Olthoff, Mitchell - 1989
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
423 Mixin-based inheritance – Gilad Bracha, William Cook - 1990
42 Programming with polymorphic variants – Jacques Garrigue - 1998