Documents Related by Co-Citation

62 State-dependent representation independence – Amal Ahmed, Derek Dreyer, Andreas Rossberg - 2009
72 Step-Indexed Syntactic Logical Relations for Recursive and Quantified Types – Amal Ahmed - 2006
37 Typed operational reasoning – Andrew Pitts - 2004
135 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
19 A Relational Modal Logic for Higher-Order Stateful ADTs – Derek Dreyer, Georg Neis, Andreas Rossberg, Lars Birkedal
15 Logical Step-Indexed Logical Relations – Derek Dreyer, Amal Ahmed, Lars Birkedal
37 A very modal model of a modern, major, general type system – A W Appel, P-A Mellies, C D Richards, Jerome - 2007
18 Step-indexed Kripke models over recursive worlds – Lars Birkedal, Bernhard Reus, Kristian Støvring, Jacob Thamsborg, Hongseok Yang - 2011
16 A Complete Characterization of Observational Equivalence in Polymorphic λ-Calculus with General References – Eijiro Sumii - 2009
362 Types, Abstraction and Parametric Polymorphism – J C Reynolds - 1983
99 Relational Properties of Domains – Andrew M. Pitts - 1996
73 A marriage of rely/guarantee and separation logic – Viktor Vafeiadis, Matthew Parkinson - 2007
21 Deny-guarantee reasoning – Mike Dodds, Xinyu Feng, Matthew Parkinson, Viktor Vafeiadis - 2009
24 Biorthogonality, Step-Indexing and Compiler Correctness – Nick Benton, Chung-Kil Hur - 2009
46 A bisimulation for type abstraction and recursion – Eijiro Sumii, Benjamin C. Pierce - 2005
46 Small bisimulations for reasoning about higher-order imperative programs – Vasileios Koutavas, Mitchell Wand - 2006
25 A Modality for Recursion – Hiroshi Nakano - 2000
32 Concurrent abstract predicates – Thomas Dinsdale-Young, Mike Dodds, Philippa Gardner, Matthew Parkinson, Viktor Vafeiadis - 2010