Type Inference for Record Concatenation and Multiple Inheritance

Mitchell Wand. Type Inference for Record Concatenation and Multiple Inheritance. Inf. Comput., 93(1):1-15, July 1991.

Abstract

Abstract is missing.