Kristian Støvring

Publication Activity (10 Years)

Years Active: 2005-2013
Publications (10 Years): 0

Top Topics

Explanation Based Generalization

Top Venues

J. Log. Algebraic Methods Program.

Math. Struct. Comput. Sci.

Log. Methods Comput. Sci.

Publications

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