Kristian Støvring

20 papers A* 3A 1B 4Journal 7Unranked 5
YearRankTypeTitle / Venue / Authors
2013 J jnl
A step-indexed Kripke model of hidden state.
Math. Struct. Comput. Sci.
Jan Schwinghammer, Lars Birkedal, François Pottier, Bernhard Reus, Kristian Støvring, Hongseok Yang
2012 J jnl
A relational realizability model for higher-order stateful ADTs.
J. Log. Algebraic Methods Program.
Lars Birkedal, Kristian Støvring, Jacob Thamsborg
2012 J jnl
First steps in synthetic guarded domain theory: step-indexing in the topos of trees
Log. Methods Comput. Sci.
Lars Birkedal, Rasmus Ejlers Møgelberg, Jan Schwinghammer, Kristian Støvring
2011 B conf
A Step-Indexed Kripke Model of Hidden State via Recursive Properties on Recursively Defined Metric Spaces.
FoSSaCS
Jan Schwinghammer, Lars Birkedal, Kristian Støvring
2011 A* conf
First Steps in Synthetic Guarded Domain Theory: Step-Indexing in the Topos of Trees.
LICS
Lars Birkedal, Rasmus Ejlers Møgelberg, Jan Schwinghammer, Kristian Støvring
2011 B conf
Step-Indexed Kripke Model of Separation Logic for Storable Locks.
MFPS
Alexandre Buisse, Lars Birkedal, Kristian Støvring
2011 A* conf
Step-indexed kripke models over recursive worlds.
POPL
Lars Birkedal, Bernhard Reus, Jan Schwinghammer, Kristian Støvring, Jacob Thamsborg, Hongseok Yang
2010 — conf
A Metric Model of Lambda Calculus with Guarded Recursion.
FICS
Lars Birkedal, Jan Schwinghammer, Kristian Støvring
2010 — conf
A Step-Indexed Kripke Model of Hidden State via Recursive Properties on Recursively Defined Metric Spaces.
FICS
Lars Birkedal, Jan Schwinghammer, Kristian Støvring
2010 J jnl
Realisability semantics of parametric polymorphism, general references and recursive types.
Math. Struct. Comput. Sci.
Lars Birkedal, Kristian Støvring, Jacob Thamsborg
2010 J jnl
The category-theoretic solution of recursive metric-space equations.
Theor. Comput. Sci.
Lars Birkedal, Kristian Støvring, Jacob Thamsborg
2009 — conf
A Complete, Co-inductive Syntactic Theory of Sequential Control and State.
Semantics and Algebraic Specification
Kristian Støvring, Søren B. Lassen
2009 B conf
Realizability Semantics of Parametric Polymorphism, General References, and Recursive Types.
FoSSaCS
Lars Birkedal, Kristian Støvring, Jacob Thamsborg
2009 — conf
Relational parametricity for references and recursive types.
TLDI
Lars Birkedal, Kristian Støvring, Jacob Thamsborg
2009 — conf
Solutions of Generalized Recursive Metric-Space Equations.
FICS
Lars Birkedal, Kristian Støvring, Jacob Thamsborg
2007 A* conf
A complete, co-inductive syntactic theory of sequential control and state.
POPL
Kristian Støvring, Søren B. Lassen
2007 A conf
Inductive reasoning about effectful data types.
ICFP
Andrzej Filinski, Kristian Støvring
2006 J jnl
Extending the Extensional Lambda Calculus with Surjective Pairing is Conservative.
Log. Methods Comput. Sci.
Kristian Støvring
2006 J jnl
Higher-Order Beta Matching with Solutions in Long Beta-Eta Normal Form.
Nord. J. Comput.
Kristian Støvring
2005 B conf
Program Extraction From Proofs of Weak Head Normalization.
MFPS
Malgorzata Biernacka, Olivier Danvy, Kristian Støvring