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

Cached

Download Links

by Kim B. Bruce
Citations:27 - 1 self

Active Bibliography

44 Independently extensible solutions to the expression problem – Matthias Zenger, Martin Odersky - 2005
4 W.R.: Extensibility for the masses: Practical extensibility with object algebras – Bruno C. D. S. Oliveira, William R. Cook
3 The Diesel language specification and rationale: Version 0.2 – Craig Chambers - 2006
8 Reconciling Software Extensibility with Modular Program Reasoning – Todd David Millstein - 2003
63 Scalable extensibility via nested inheritance – Nathaniel Nystrom, Stephen Chong, Andrew C. Myers - 2004
6 Implementing Extensible Theorem Provers – Kathi Fisler, Shriram Krishnamurthi, Kathryn E. Gray - 1999
25 Programming Languages for Reusable Software Components – Matthew Flatt - 1999
50 A virtual class calculus – Erik Ernst, Klaus Ostermann, William R. Cook - 2005
14 An overview of the Scala programming language (second edition) – Martin Odersky, Vincent Cremet, Iulian Dragos, Gilles Dubochet, Burak Emir, Sean McDirmid, Stéphane Micheloud, Nikolay Mihaylov, Michel Schinz, Erik Stenman, Lex Spoon, Matthias Zenger, et al. - 2006
101 An overview of the Scala programming language – Martin Odersky, Stéphane Micheloud, Nikolay Mihaylov, Michel Schinz, Erik Stenman, Matthias Zenger, et al. - 2004
53 The Cecil language -- specification and rationale: Version 3.2 – Craig Chambers, The Cecil Group - 2004
8 Modular visitor components: A practical solution to the expression families problem – Bruno C. D. S. Oliveira - 2009
34 Modular typechecking for hierarchically extensible datatypes and functions – Todd Millstein, Colin Bleckner, Craig Chambers - 2002
Feature-Oriented Programming with Object Algebras – Bruno C. D. S. Oliveira, Tijs Van Der Storm, Alex Loh, William R. Cook
18 Evolving Software with Extensible Modules – Matthias Zenger - 2002
Matching MyType to Subtyping – Chieri Saito A, Atsushi Igarashi A
12 M.: Lightweight family polymorphism – Atsushi Igarashi, Chieri Saito, Mirko Viroli - 2008
9 Javagi: Generalized interfaces for java – Stefan Wehr, Ralf Lämmel, Peter Thiemann - 2007
constructs; Type structure – Chieri Saito, Atsushi Igarashi