- CSB - MetaPress - Google - Bing - Yahoo
 | 2013 | |
|---|---|---|
| j9 |      | Jan Schwinghammer, Lars Birkedal, François Pottier, Bernhard Reus, Kristian Støvring, Hongseok Yang: A step-indexed Kripke model of hidden state. Mathematical Structures in Computer Science 23(1): 1-54 (2013) |
| 2012 | ||
| j8 | | 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. Logical Methods in Computer Science 8(4) (2012) |
| j7 | | Lars Birkedal, Kristian Støvring, Jacob Thamsborg: A relational realizability model for higher-order stateful ADTs. J. Log. Algebr. Program. 81(4): 491-521 (2012) |
| 2011 | ||
| j6 | | Alexandre Buisse, Lars Birkedal, Kristian Støvring: Step-Indexed Kripke Model of Separation Logic for Storable Locks. Electr. Notes Theor. Comput. Sci. 276: 121-143 (2011) |
| c8 | | 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: 305-319 |
| c7 | | 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: 55-64 |
| c6 | | Lars Birkedal, Bernhard Reus, Jan Schwinghammer, Kristian Støvring, Jacob Thamsborg, Hongseok Yang: Step-indexed kripke models over recursive worlds. POPL 2011: 119-132 |
| 2010 | ||
| j5 | | Lars Birkedal, Kristian Støvring, Jacob Thamsborg: Realisability semantics of parametric polymorphism, general references and recursive types. Mathematical Structures in Computer Science 20(4): 655-703 (2010) |
| j4 | | Lars Birkedal, Kristian Støvring, Jacob Thamsborg: The category-theoretic solution of recursive metric-space equations. Theor. Comput. Sci. 411(47): 4102-4122 (2010) |
| 2009 | ||
| c5 | | Kristian Støvring, Søren B. Lassen: A Complete, Co-inductive Syntactic Theory of Sequential Control and State. Semantics and Algebraic Specification 2009: 329-375 |
| c4 | | Lars Birkedal, Kristian Støvring, Jacob Thamsborg: Realizability Semantics of Parametric Polymorphism, General References, and Recursive Types. FOSSACS 2009: 456-470 |
| c3 | | Lars Birkedal, Kristian Støvring, Jacob Thamsborg: Relational parametricity for references and recursive types. TLDI 2009: 91-104 |
| 2007 | ||
| c2 | | Andrzej Filinski, Kristian Støvring: Inductive reasoning about effectful data types. ICFP 2007: 97-110 |
| c1 | | Kristian Støvring, Søren B. Lassen: A complete, co-inductive syntactic theory of sequential control and state. POPL 2007: 161-172 |
| 2006 | ||
| j3 | | Malgorzata Biernacka, Olivier Danvy, Kristian Støvring: Program Extraction From Proofs of Weak Head Normalization. Electr. Notes Theor. Comput. Sci. 155: 169-189 (2006) |
| j2 | | Kristian Støvring: Extending the Extensional Lambda Calculus with Surjective Pairing is Conservative. Logical Methods in Computer Science 2(2) (2006) |
| j1 |  | Kristian Støvring: Higher-Order Beta Matching with Solutions in Long Beta-Eta Normal Form. Nord. J. Comput. 13(1-2): 117-126 (2006) |
Colors in the list of coauthors
Last update Sun May 19 17:47:49 2013 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page