Lars Birkedal, Kristian Støvring, Jacob Thamsborg. Realisability semantics of parametric polymorphism, general references and recursive types. Mathematical Structures in Computer Science, 20(4):655-703, 2010. [doi]
No references recorded for this publication.
No citations of this publication recorded.