ktu88

A. Kfoury, J. Tiuryn, P. Urzyczyn. A Proper Extension of ML with an Effective Type-Assignment. In Proc. 15th Annual ACM Symp. on Principles of Programming Languages, Pages 58-69, January 1988.

Keyword

[ Parametricity ]

Contact

A. J. Kfoury
J. Tiuryn
P. Urzyczyn

BibTex Reference

@InProceedings{ktu88,
   Author = {Kfoury, A. and Tiuryn, J. and Urzyczyn, P.},
   Title = {A Proper Extension of {ML} with an Effective Type-Assignment},
   BookTitle = {Proc. 15th Annual ACM Symp. on Principles of Programming Languages},
   Pages = {58--69},
   Publisher = {ACM Press},
   Month = {January},
   Year = {1988}
}

EndNote Reference [help]

Get EndNote Reference (.ref)