Extensible records without subsumption (1990)

by Robert W Harper, Benjamin C Pierce