M. Wand. Type Inference for Record Concatenation and Multiple Inheritance. In Proc. 1989 IEEE 4th Annual Symp. on Logic in Computer Science (LICS), Pages 92-97, 1989.
[ Parametricity ]
@InProceedings{wand89,
Author = {Wand, M.},
Title = {Type Inference for Record Concatenation and Multiple Inheritance},
BookTitle = {Proc. 1989 IEEE 4th Annual Symp. on Logic in Computer Science (LICS)},
Pages = {92--97},
Publisher = {IEEE Computer Society Press},
Year = {1989}
}
Get EndNote Reference (.ref)