Sciweavers

TYPES
2007
Springer

A Logic for Parametric Polymorphism with Effects

14 years 5 months ago
A Logic for Parametric Polymorphism with Effects
Rasmus Ejlers Møgelberg, Alex Simpson
Added 09 Jun 2010
Updated 09 Jun 2010
Type Conference
Year 2007
Where TYPES
Authors Rasmus Ejlers Møgelberg, Alex Simpson
Comments (0)