Sciweavers

ENTCS
2007
80views more  ENTCS 2007»

Relational Parametricity for Control Considered as a Computational Effect

15 years 2 months ago
Relational Parametricity for Control Considered as a Computational Effect
Rasmus Ejlers Møgelberg, Alex Simpson
Added 13 Dec 2010
Updated 13 Dec 2010
Type Journal
Year 2007
Where ENTCS
Authors Rasmus Ejlers Møgelberg, Alex Simpson
Comments (0)