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

Documents Related by Co-Citation

136 An Indexed Model of Recursive Types for Foundational Proof-Carrying Code – Andrew W. Appel, David Mcallester - 2000
111 Operational Reasoning for Functions With Local State – Andrew Pitts, Ian Stark
75 Parametric Polymorphism and Operational Equivalence – Andrew M. Pitts - 2000
73 Step-Indexed Syntactic Logical Relations for Recursive and Quantified Types – Amal Ahmed - 2006
58 Relational reasoning in a nominal semantics for storage – Nick Benton, Benjamin Leperchey - 2005
55 Semantics of Types for Mutable State – Amal Jamil Ahmed - 2004
122 Formal Parametric Polymorphism – Martin Abadi , Luca Cardelli, Pierre-Louis Curien - 1993
126 An ideal model for recursive polymorphic types – David MacQueen, Gordon Plotkin, Ravi Sethi - 1986
588 From System F to Typed Assembly Language – Greg Morrisett, David Walker, Karl Crary, Neal Glew - 1998
37 A very modal model of a modern, major, general type system – A W Appel, P-A Mellies, C D Richards, Jerome - 2007
711 Separation Logic: A Logic for Shared Mutable Data Structures – John Reynolds - 2002
78 Proofs of strong normalization for second order classical natural deduction – M Parigot - 1997
229 Formal certification of a compiler back-end, or: programming a compiler with a proof assistant – Xavier Leroy - 2006
730 Notions of Computation and Monads – Eugenio Moggi - 1991
20 TT-Closed Relations and Admissibility – Martín Abadi
22 Recursive Polymorphic Types and Parametricity in an Operational Framework – Paul-André Melliès, Jérôme Vouillon - 2005
229 Foundational Proof-Carrying Code – Andrew W. Appel - 2001
19 Abstracting Allocation: The New new Thing – Nick Benton - 2006
1097 Proof-Carrying Code – George C. Necula - 1997