kfti90

A. Kfoury, J. Tiuryn. Type Reconstruction in Finite-Rank Fragments of the Polymorphic $\lambda$-Calculus. In Proc. 5th Annual IEEE Symp. on Logic in Computer Science (LICS), Philadelphia, Pennsylvania, Pages 2-11, June 1990.

Keyword

[ Parametricity ]

Contact

A. J. Kfoury
J. Tiuryn

BibTex Reference

@InProceedings{kfti90,
   Author = {Kfoury, A. and Tiuryn, J.},
   Title = {Type Reconstruction in Finite-Rank Fragments of the Polymorphic $\lambda$-Calculus},
   BookTitle = {Proc. 5th Annual IEEE Symp. on Logic in Computer Science (LICS), Philadelphia, Pennsylvania},
   Pages = {2--11},
   Publisher = {IEEE Computer Society Press},
   Month = {June},
   Year = {1990}
}

EndNote Reference [help]

Get EndNote Reference (.ref)