Modular typechecking for hierarchically extensible datatypes and functions (2002)

by Todd Millstein , Colin Bleckner , Craig Chambers
Venue:In Proceedings of the International Conference on Functional Programming
Citations:34 - 6 self

Active Bibliography

8 Reconciling Software Extensibility with Modular Program Reasoning – Todd David Millstein - 2003
56 MultiJava: Design rationale, compiler implementation, and applications – Curtis Clifton, Todd Millstein, Gary T. Leavens, Craig Chambers - 2004
30 Type-safe prototype-based component evolution – Matthias Zenger - 2002
2 Expressive Modular Linking for Object-Oriented Languages – Wilson C. Hsieh, Matthew Flatt, Sean Mcdirmid, Sean Mcdirmid - 2002
Expressive Modular Linking for Object-Oriented Languages – Sean McDirmid, Wilson C. Hsieh, Matthew Flatt - 2002
26 Programming Languages for Reusable Software Components – Matthew Flatt - 1999
1 A Framework for Modular Linking in OO Languages – Sean Mcdirmid, Wilson C. Hsieh, Matthew Flatt
26 Feathertrait: A modest extension of featherweight java – Luigi Liquori, Arnaud Spiwack, Ens Cachan - 2007
MultiJava: Design, Implementation, and Evaluation . . . – Curtis Charles Clifton - 2001
13 Aspect-Oriented Programming with Jiazzi – Sean Mcdirmid, Wilson C. Hsieh - 2003
2 Mixin modules, modules and extended value binding in a call-by-value setting – Tom Hirschowitz - 2003
7 Modularly Typesafe Interface Dispatch in JPred – Christopher Frost, Todd Millstein - 2006
32 A basic model of typed components – João Costa Seco, Luís Caires - 2000
27 Equational Reasoning for Linking with First-Class Primitive Modules – J. B. Wells, René Vestergaard - 2000
A Mixin ’ Up the ML Module System – Andreas Rossberg Google
16 Mixin’ Up the ML Module System – Derek Dreyer, Andreas Rossberg
5 Analyzing module diversity – Alexandre Bergel, Stéphane Ducasse, Oscar Nierstrasz - 2005
62 Modular Statically Typed Multimethods – Todd Millstein, Craig Chambers - 2002
5 CZ: Multiple Inheritance Without Diamonds – Donna Malayeri, Jonathan Aldrich