Kristian Støvring

According to our database, Kristian Støvring authored at least 17 papers between 2005 and 2013.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2013

A step-indexed Kripke model of hidden state.

Jan Schwinghammer, Lars Birkedal, François Pottier, Bernhard Reus, Kristian Støvring, Hongseok Yang

Math. Struct. Comput. Sci., 2013

2012

A relational realizability model for higher-order stateful ADTs.

Lars Birkedal, Kristian Støvring, Jacob Thamsborg

J. Log. Algebraic Methods Program., 2012

First steps in synthetic guarded domain theory: step-indexing in the topos of trees

Lars Birkedal, Rasmus Ejlers Møgelberg, Jan Schwinghammer, Kristian Støvring

Log. Methods Comput. Sci., 2012

2011

Step-Indexed Kripke Model of Separation Logic for Storable Locks.

Alexandre Buisse, Lars Birkedal, Kristian Støvring

Proceedings of the Twenty-seventh Conference on the Mathematical Foundations of Programming Semantics, 2011

Step-indexed kripke models over recursive worlds.

Lars Birkedal, Bernhard Reus, Jan Schwinghammer, Kristian Støvring, Jacob Thamsborg, Hongseok Yang

Proceedings of the 38th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2011

A Step-Indexed Kripke Model of Hidden State via Recursive Properties on Recursively Defined Metric Spaces.

Jan Schwinghammer, Lars Birkedal, Kristian Støvring

Proceedings of the Foundations of Software Science and Computational Structures, 2011

2010

The category-theoretic solution of recursive metric-space equations.

Lars Birkedal, Kristian Støvring, Jacob Thamsborg

Theor. Comput. Sci., 2010

Realisability semantics of parametric polymorphism, general references and recursive types.

Lars Birkedal, Kristian Støvring, Jacob Thamsborg

Math. Struct. Comput. Sci., 2010

A Metric Model of Lambda Calculus with Guarded Recursion.

Lars Birkedal, Jan Schwinghammer, Kristian Støvring

Proceedings of the 7th Workshop on Fixed Points in Computer Science, 2010

2009

Relational parametricity for references and recursive types.

Lars Birkedal, Kristian Støvring, Jacob Thamsborg

Proceedings of TLDI'09: 2009 ACM SIGPLAN International Workshop on Types in Languages Design and Implementation, 2009

Realizability Semantics of Parametric Polymorphism, General References, and Recursive Types.

Lars Birkedal, Kristian Støvring, Jacob Thamsborg

Proceedings of the Foundations of Software Science and Computational Structures, 2009

Solutions of Generalized Recursive Metric-Space Equations.

Lars Birkedal, Kristian Støvring, Jacob Thamsborg

Proceedings of the 6th Workshop on Fixed Points in Computer Science, 2009

2007

A complete, co-inductive syntactic theory of sequential control and state.

Kristian Støvring, Søren B. Lassen

Proceedings of the 34th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2007

Inductive reasoning about effectful data types.

Andrzej Filinski, Kristian Støvring

Proceedings of the 12th ACM SIGPLAN International Conference on Functional Programming, 2007

2006

Higher-Order Beta Matching with Solutions in Long Beta-Eta Normal Form.

Kristian Støvring

Nord. J. Comput., 2006

Extending the Extensional Lambda Calculus with Surjective Pairing is Conservative.

Kristian Støvring

Log. Methods Comput. Sci., 2006

2005

Program Extraction From Proofs of Weak Head Normalization.

Malgorzata Biernacka, Olivier Danvy, Kristian Støvring

Proceedings of the 21st Annual Conference on Mathematical Foundations of Programming Semantics, 2005