Semantic Types: A Fresh Look at the Ideal Model for Types (2004)

Cached

Download Links

by Jérôme Vouillon , Paul-André Melliès
Citations:23 - 2 self

Active Bibliography

29 Domains and Denotational Semantics: History, Accomplishments and Open Problems – Marcelo Fiore, Achim Jung, Eugenio Moggi, Peter O'Hearn, Jon Riecke, Giuseppe Rosolini, Ian Stark - 1996
8 Subtyping Union Types – Jerome Vouillon - 2004
22 Recursive Polymorphic Types and Parametricity in an Operational Framework – Paul-André Melliès, Jérôme Vouillon - 2005
11 Relational parametricity for references and recursive types – Lars Birkedal, Kristian Støvring, Jacob Thamsborg - 2009
34 Practical Refinement-Type Checking – Rowan Davies, Frank Pfenning - 1997
2 A Relational Realizability Model for Higher-order Stateful ADTs – Lars Birkedal, Kristian Støvring, Jacob Thamsborg - 2010
19 Step-indexed Kripke models over recursive worlds – Lars Birkedal, Bernhard Reus, Kristian Støvring, Jacob Thamsborg, Hongseok Yang - 2011
5 Realisability semantics of parametric polymorphism, general references – Lars Birkedal, Kristian Støvring, Jacob Thamsborg - 2009
19 Realizability semantics of parametric polymorphism, general references, and recursive types – Lars Birkedal, Kristian Støvring, Jacob Thamsborg - 2010
12 Formalizing and verifying semantic type soundness for a simple compiler – Nick Benton, Uri Zarfaty - 2007
15 Logical Step-Indexed Logical Relations – Derek Dreyer, Amal Ahmed, Lars Birkedal
19 Abstracting Allocation: The New new Thing – Nick Benton - 2006
1 Polymorphism and XDuce-style patterns – Jerome Vouillon, Xduce-style Patterns
2 System F with Width-subtyping and Record Updating – Erik Poll - 1997
(Theory of Computing Systems, 42(3):306-348, 2008) – Steffen Van Bakel Ugo De’liguoro
137 PolyTOIL: A type-safe polymorphic object-oriented language – Kim B. Bruce, Adrian Fiech, Angela Schuett, Robert Van Gent - 1995
9 Logical equivalence for subtyping object and recursive types – Steffen van Bakel , Ugo de’Liguoro
45 On subtyping and matching – Luca Cardelli - 1995
Parametric λ-Theories – Luca Paolini - 2007