okwa92

P. O'Keefe, M. Wand. Type Inference for Partial Types is Decidable. In Proc. 4th European Symp. on Programming (ESOP), Rennes, France, B. Krieg-Brückner (ed.), Lecture Notes in Computer Science, Vol. 582, Pages 408-417, February 1992.

Keyword

[ Parametricity ]

Contact

P. O'Keefe
M. Wand

BibTex Reference

@InProceedings{okwa92,
   Author = {O'Keefe, P. and Wand, M.},
   Title = {Type Inference for Partial Types is Decidable},
   BookTitle = {Proc. 4th European Symp. on Programming (ESOP), Rennes, France},
   editor = {Krieg-Brückner, B.},
   Pages = {408--417},
   Publisher = {Springer},
   Month = {February},
   Year = {1992}
}

EndNote Reference [help]

Get EndNote Reference (.ref)