Kristian Støvring

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
A complete, co-inductive syntactic theory of sequential control and state Proceedings of the 34th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages	2014-09-12	Paper
Inductive reasoning about effectful data types Proceedings of the 12th ACM SIGPLAN international conference on Functional programming	2014-07-21	Paper
Step-indexed Kripke models over recursive worlds Proceedings of the 38th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages	2014-04-10	Paper
Program extraction from proofs of weak head normalization	2013-10-08	Paper
A step-indexed Kripke model of hidden state Mathematical Structures in Computer Science	2013-03-14	Paper
First steps in synthetic guarded domain theory: step-indexing in the topos of trees Logical Methods in Computer Science	2012-10-22	Paper
A relational realizability model for higher-order stateful ADTs The Journal of Logic and Algebraic Programming	2012-08-14	Paper
A step-indexed Kripke model of hidden state via recursive properties on recursively defined metric spaces Foundations of Software Science and Computational Structures	2011-05-19	Paper
The category-theoretic solution of recursive metric-space equations Theoretical Computer Science	2010-11-11	Paper
Realisability semantics of parametric polymorphism, general references and recursive types Mathematical Structures in Computer Science	2010-08-26	Paper
A Complete, Co-inductive Syntactic Theory of Sequential Control and State Semantics and Algebraic Specification	2009-10-22	Paper
Realizability Semantics of Parametric Polymorphism, General References, and Recursive Types Foundations of Software Science and Computational Structures	2009-03-31	Paper
Extending the Extensional Lambda Calculus with Surjective Pairing is Conservative Logical Methods in Computer Science	2007-10-11	Paper
Higher-order beta matching with solutions in long beta-eta normal form	2007-04-10	Paper

Research outcomes over time

This page was built for person: Kristian Støvring