Didier Rémy. Type Inference for Records in a Natural Extension of ML. In Theoretical Aspects of Object-Oriented Programming, Also available as Research Report 1431, May 1991, INRIA-Rocquencourt, France. Previous results presented at POPL '89, Carl A. Gunter, John C. Mitchell (eds.), Also available as Research Report 1431, May 1991, INRIA-Rocquencourt, France. Previous results presented at POPL '89, pp. 67-95, MIT Press, 1994.
[ Parametricity ]
@InCollection{remy94,
Author = {Rémy, Didier},
Title = {Type Inference for Records in a Natural Extension of {ML}},
BookTitle = {Theoretical Aspects of Object-Oriented Programming},
editor = {Gunter, Carl A. and Mitchell, John C.},
Pages = {67--95},
Publisher = {MIT Press},
Year = {1994}
}
Get EndNote Reference (.ref)