ro88

S. Ronchi Della Rocca. Principal Type Scheme and Unification for Intersection Type Discipline. Theoretical Computer Science, 59:181-209, 1988.

Keyword

[ Parametricity ]

Contact

S. Ronchi Della Rocca

BibTex Reference

@article{ro88,
   Author = {Ronchi Della Rocca, S.},
   Title = {Principal Type Scheme and Unification for Intersection Type Discipline},
   Journal = {Theoretical Computer Science},
   Volume = {59},
   Pages = {181--209},
   Year = {1988}
}

EndNote Reference [help]

Get EndNote Reference (.ref)