pusu92

Laurence Puel, Asc\'ander Su\'arez. Extended Polymorphic Type Checking in ML. Research Report Université Paris Sud, No 762, June 1992.

Keyword

[ Parametricity ]

Contact

Laurence Puel
Asc\'ander Su\'arez

BibTex Reference

@TechReport{pusu92,
   Author = {Puel, Laurence and Su\'arez, Asc\'ander},
   Title = {Extended Polymorphic Type Checking in {ML}},
   Number = {762},
   Institution = {Université Paris Sud},
   Month = {June},
   Year = {1992}
}

EndNote Reference [help]

Get EndNote Reference (.ref)