Extensible Records Without Subsumption (1990)

by Robert W Harper, Benjamin C Pierce