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 tidsskriftTidsskriftartikelForskningpeer review

    OriginalsprogEngelsk
    TidsskriftMathematical Structures in Computer Science
    Vol/bind20
    Udgave nummer4
    Sider (fra-til)655-703
    ISSN0960-1295
    StatusUdgivet - 2010

    Citationsformater