remy94

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.

Keyword

[ Parametricity ]

BibTex Reference

@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}
}

EndNote Reference [help]

Get EndNote Reference (.ref)