Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

98

Voted

TYPES
2007
Springer

136views Formal Methods» more TYPES 2007»

A Logic for Parametric Polymorphism with Effects

15 years 9 months ago

A Logic for Parametric Polymorphism with Effects

Download users.dimi.uniud.it

Rasmus Ejlers Møgelberg, Alex Simpson

Real-time Traffic

Formal Methods | TYPES 2007 |

claim paper

Related Content

» A Logic for Parametric Polymorphism

» Polyvariant flow analysis with higherranked polymorphic types and higherorder effect opera...

» Free theorems for functional logic programs

» Parametric Domaintheoretic Models of Polymorphic Intuitionistic Linear Lambda Calculus

» Intersection types and computational effects

» Firstclass Polymorphism with Type Inference

» Realizability Semantics of Parametric Polymorphism General References and Recursive Types

» Relational Parametricity for Computational Effects

» Parametric polymorphism for XML

Post Info
More Details (n/a)

Added	09 Jun 2010
Updated	09 Jun 2010
Type	Conference
Year	2007
Where	TYPES
Authors	Rasmus Ejlers Møgelberg, Alex Simpson

Comments (0)