curtis90

P. Curtis. Constrained Quantification in Polymorhic Type Analysis. Research Report Xerox Parc, No 0, February 1990.

Keyword

[ Parametricity ]

Contact

Pavel Curtis

BibTex Reference

@TechReport{curtis90,
   Author = {Curtis, P.},
   Title = {Constrained Quantification in Polymorhic Type Analysis},
   Number = {0},
   Institution = {Xerox Parc},
   Month = {February},
   Year = {1990}
}

EndNote Reference [help]

Get EndNote Reference (.ref)