Modular typechecking for hierarchically extensible datatypes and functions.

Todd D. Millstein, Colin Bleckner, Craig Chambers

Browse the full ICFP paper archive.