Type Inference for Record Concatenation and Multiple Inheritance

Mitchell Wand

Browse the full LICS paper archive.