Sciweavers

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

9

MSCS
2010

favoriteEmaildiscussreport

86views more MSCS 2010»

Realisability semantics of parametric polymorphism, general references and recursive types

13 years 2 months ago

Realisability semantics of parametric polymorphism, general references and recursive types

Download www.itu.dk

tations of imperative abstract data types.

Lars Birkedal, Kristian Støvring, Jacob Tha

Real-time Traffic

Imperative Abstract Data | MSCS 2010 |

claim paper

Related Content

» Realizability Semantics of Parametric Polymorphism General References and Recursive Types

» Relational parametricity for references and recursive types

» A very modal model of a modern major general type system

» Towards a mechanized metatheory of standard ML

» Statedependent representation independence

» Static Determination of Quantitative Resource Usage for HigherOrder Programs

Post Info
More Details (n/a)

Added	29 Jan 2011
Updated	29 Jan 2011
Type	Journal
Year	2010
Where	MSCS
Authors	Lars Birkedal, Kristian Støvring, Jacob Thamsborg

Comments (0)