tofte90

M. Tofte. Type Inference for Polymorphic References. Information and Computation, 89(1):1-34, November 1990.

Keyword

[ Parametricity ]

Contact

Mads Tofte

BibTex Reference

@article{tofte90,
   Author = {Tofte, M.},
   Title = {Type Inference for Polymorphic References},
   Journal = {Information and Computation},
   Volume = {89},
   Number = {1},
   Pages = {1--34},
   Month = {November},
   Year = {1990}
}

EndNote Reference [help]

Get EndNote Reference (.ref)