Realisability semantics of parametric polymorphism, general references and recursive types

Lars Birkedal, Kristian Støvring, Jacob Junker Thamsborg

Publikation: Artikel i tidsskrift og konference artikel i tidsskrift › Tidsskriftartikel › Forskning › peer review

Originalsprog	Engelsk
Tidsskrift	Mathematical Structures in Computer Science
Vol/bind	20
Udgave nummer	4
Sider (fra-til)	655-703
ISSN	0960-1295
Status	Udgivet - 2010

Citationsformater

@article{d2b3222e9840483db7b9ad488c304f0c,

title = "Realisability semantics of parametric polymorphism, general references and recursive types",

author = "Lars Birkedal and Kristian St{\o}vring and Thamsborg, {Jacob Junker}",

year = "2010",

language = "English",

volume = "20",

pages = "655--703 ",

journal = "Mathematical Structures in Computer Science",

issn = "0960-1295",

publisher = "Cambridge University Press",

number = "4",

}

TY - JOUR

T1 - Realisability semantics of parametric polymorphism, general references and recursive types

AU - Birkedal, Lars

AU - Støvring, Kristian

AU - Thamsborg, Jacob Junker

PY - 2010

Y1 - 2010

M3 - Journal article

SN - 0960-1295

VL - 20

SP - 655

EP - 703

JO - Mathematical Structures in Computer Science

JF - Mathematical Structures in Computer Science

IS - 4

ER -