Realizability Semantics of Parametric Polymorphism, General References, and Recursive Types.

Lars Birkedal, Kristian Stvring, Jacob Thamsborg

Browse the full FOSSACS paper archive.