urzyczyn97

Pawel Urzyczyn. Type Reconstruction in F$_\omega$. Mathematical Structures in Computer Science (MSCS), 7:329-358, 1997.

Keyword

[ Parametricity ]

Contact

P. Urzyczyn

BibTex Reference

@article{urzyczyn97,
   Author = {Urzyczyn, Pawel},
   Title = {Type Reconstruction in F$_{\omega}$},
   Journal = {Mathematical Structures in Computer Science (MSCS)},
   Volume = {7},
   Pages = {329--358},
   Year = {1997}
}

EndNote Reference [help]

Get EndNote Reference (.ref)