wand87b

M. Wand. A Simple Algorithm and Proof for Type Inference. Fundamenta Informaticae, X:115-122, 1987.

Keyword

[ Parametricity ]

Contact

M. Wand

BibTex Reference

@article{wand87b,
   Author = {Wand, M.},
   Title = {A Simple Algorithm and Proof for Type Inference},
   Journal = {Fundamenta Informaticae},
   Volume = {X},
   Pages = {115--122},
   Year = {1987}
}

EndNote Reference [help]

Get EndNote Reference (.ref)