 | 2009 |
|---|
| 8 |       | Lars Birkedal,
Kristian Støvring,
Jacob Thamsborg:
Realizability Semantics of Parametric Polymorphism, General References, and Recursive Types.
FOSSACS 2009: 456-470 |
| 7 | | 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 |
| 6 | | Lars Birkedal,
Kristian Støvring,
Jacob Thamsborg:
Relational parametricity for references and recursive types.
TLDI 2009: 91-104 |
| 2007 |
|---|
| 5 | | Andrzej Filinski,
Kristian Støvring:
Inductive reasoning about effectful data types.
ICFP 2007: 97-110 |
| 4 | | Kristian Støvring,
Søren B. Lassen:
A complete, co-inductive syntactic theory of sequential control and state.
POPL 2007: 161-172 |
| 2006 |
|---|
| 3 | | Malgorzata Biernacka,
Olivier Danvy,
Kristian Støvring:
Program Extraction From Proofs of Weak Head Normalization.
Electr. Notes Theor. Comput. Sci. 155: 169-189 (2006) |
| 2 | | Kristian Støvring:
Extending the Extensional Lambda Calculus with Surjective Pairing is Conservative.
Logical Methods in Computer Science 2(2): (2006) |
| 1 |  | Kristian Støvring:
Higher-Order Beta Matching with Solutions in Long Beta-Eta Normal Form.
Nord. J. Comput. 13(1-2): 117-126 (2006) |
