| 2009 |
|---|
| 7 | EE | Lars Birkedal,
Kristian Støvring,
Jacob Thamsborg:
Realizability Semantics of Parametric Polymorphism, General References, and Recursive Types.
FOSSACS 2009: 456-470 |
| 6 | EE | Lars Birkedal,
Kristian Støvring,
Jacob Thamsborg:
Relational parametricity for references and recursive types.
TLDI 2009: 91-104 |
| 2007 |
|---|
| 5 | EE | Andrzej Filinski,
Kristian Støvring:
Inductive reasoning about effectful data types.
ICFP 2007: 97-110 |
| 4 | EE | Kristian Støvring,
Søren B. Lassen:
A complete, co-inductive syntactic theory of sequential control and state.
POPL 2007: 161-172 |
| 2006 |
|---|
| 3 | EE | 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 | EE | 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) |
