Skip to content

Efficient Type Inference for Record Concatenation and Subtyping.

Jens Palsberg, Tian Zhao

VenueA*LICS
Year2002
ProceedingsLICS

Browse the full LICS paper archive.