External Links

    Journal: Inf. Comput.

    Volume 155, Issue 1-2

    3 -- 63Lars Birkedal, Robert Harper. Relational Interpretations of Recursive Types in an Operational Setting
    64 -- 107Atsushi Ohori. Type-Directed Specialization of Polymorphism
    108 -- 133Kim B. Bruce, Luca Cardelli, Benjamin C. Pierce. Comparing Object Encodings
    134 -- 169Jacques Garrigue, Didier Rémy. Semi-Explicit First-Class Polymorphism for ML
    170 -- 201Marcello M. Bonsangue, Joost N. Kok. Toward an Infinitary Logic of Domains: Abramsky Logic for Transition Systems
    runs on