Sciweavers

LICS
1990
IEEE

A Per Model of Polymorphism and Recursive Types

15 years 27 days ago
A Per Model of Polymorphism and Recursive Types
Martín Abadi, Gordon D. Plotkin
Added 11 Aug 2010
Updated 11 Aug 2010
Type Conference
Year 1990
Where LICS
Authors Martín Abadi, Gordon D. Plotkin
Comments (0)