M. Wand. Type Inference for Record Concatenation and Multiple Inheritance. Information and Computation, Presented at LICS '89, 93(1):1-15, July 1991.
[ Parametricity ]
@article{wand91,
Author = {Wand, M.},
Title = {Type Inference for Record Concatenation and Multiple Inheritance},
Journal = {Information and Computation},
Volume = {93},
Number = {1},
Pages = {1--15},
Month = {July},
Year = {1991}
}
Get EndNote Reference (.ref)