Crossref Citations
This article has been cited by the following publications. This list is generated based on data provided by
Crossref.
Murawski, Andrzej S.
and
Tzevelekos, Nikos
2011.
Game Semantics for Good General References.
p.
75.
Birkedal, Lars
Mogelberg, Rasmus Ejlers
Schwinghammer, Jan
and
Stovring, Kristian
2011.
First Steps in Synthetic Guarded Domain Theory: Step-Indexing in the Topos of Trees.
p.
55.
Svendsen, Kasper
Birkedal, Lars
and
Nanevski, Aleksandar
2011.
Typed Lambda Calculi and Applications.
Vol. 6690,
Issue. ,
p.
198.
Pottier, François
2011.
A typed store-passing translation for general references.
ACM SIGPLAN Notices,
Vol. 46,
Issue. 1,
p.
147.
Pottier, François
2011.
A typed store-passing translation for general references.
p.
147.
Buisse, Alexandre
Birkedal, Lars
and
Støvring, Kristian
2011.
Step-Indexed Kripke Model of Separation Logic for Storable Locks.
Electronic Notes in Theoretical Computer Science,
Vol. 276,
Issue. ,
p.
121.
Krishnaswami, Neelakantan R.
and
Benton, Nick
2012.
Programming Languages and Systems.
Vol. 7211,
Issue. ,
p.
417.
Tzevelekos, Nikos
2012.
Program equivalence in a simple language with state.
Computer Languages, Systems & Structures,
Vol. 38,
Issue. 2,
p.
181.
POTTIER, FRANÇOIS
2013.
Syntactic soundness proof of a type-and-capability system with hidden state.
Journal of Functional Programming,
Vol. 23,
Issue. 1,
p.
38.
Charlton, Nathaniel
and
Reus, Bernhard
2013.
Specification patterns for reasoning about recursion through the store.
Information and Computation,
Vol. 231,
Issue. ,
p.
167.
Brunel, Aloïs
and
Gaboardi, Marco
2015.
Realizability models for a linear dependent PCF.
Theoretical Computer Science,
Vol. 585,
Issue. ,
p.
55.
Birkedal, Lars
Jaber, Guilhem
Sieczkowski, Filip
and
Thamsborg, Jacob
2016.
A Kripke logical relation for effect-based program transformations.
Information and Computation,
Vol. 249,
Issue. ,
p.
160.
Jaber, Guilhem
and
Tzevelekos, Nikos
2016.
Trace semantics for polymorphic references.
p.
585.
Kammar, Ohad
Levy, Paul B.
Moss, Sean K.
and
Staton, Sam
2017.
A monad for full ground reference cells.
p.
1.
Timany, Amin
Krebbers, Robbert
Dreyer, Derek
and
Birkedal, Lars
2024.
A Logical Approach to Type Soundness.
Journal of the ACM,
Vol. 71,
Issue. 6,
p.
1.