wright92

A. Wright. Typing References by Effect Inference. In Proc. European Symposium on Programming (ESOP), Rennes, France, B. Krieg-Brückner (ed.), Lecture Notes in Computer Science, Vol. 582, Pages 473-491, February 1992.

Keyword

[ Parametricity ]

Contact

Andrew K. Wright

BibTex Reference

@InProceedings{wright92,
   Author = {Wright, A.},
   Title = {Typing References by Effect Inference},
   BookTitle = {Proc. European Symposium on Programming (ESOP), Rennes, France},
   editor = {Krieg-Brückner, B.},
   Pages = {473--491},
   Publisher = {Springer},
   Month = {February},
   Year = {1992}
}

EndNote Reference [help]

Get EndNote Reference (.ref)