caco90

Felice Cardone, Mario Coppo. Two Extensions of Curry's Type Inference System. In Logic and Computer Science, pp. 19-75, Academic Press Ltd, 1990.

Keyword

[ Parametricity ]

Contact

Felice Cardone
Mario Coppo

BibTex Reference

@InCollection{caco90,
   Author = {Cardone, Felice and Coppo, Mario},
   Title = {Two Extensions of {Curry}'s Type Inference System},
   BookTitle = {Logic and Computer Science},
   Pages = {19--75},
   Publisher = {Academic Press Ltd},
   Year = {1990}
}

EndNote Reference [help]

Get EndNote Reference (.ref)