Search the dblp DataBase

Publications of Author

1. Kristian Støvring, Søren B. Lassen
   A complete, co-inductive syntactic theory of sequential control and state. [Citation Graph (0, 0)][DBLP]
   POPL, 2007, pp:161-172 [Conf]
   
2. Malgorzata Biernacka, Olivier Danvy, Kristian Støvring
   Program Extraction From Proofs of Weak Head Normalization. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2006, v:155, n:, pp:169-189 [Journal]
   
3. Kristian Støvring
   Extending the Extensional Lambda Calculus with Surjective Pairing is Conservative. [Citation Graph (0, 0)][DBLP]
   Logical Methods in Computer Science, 2006, v:2, n:2, pp:- [Journal]
   
4. Andrzej Filinski, Kristian Støvring
   Inductive reasoning about effectful data types. [Citation Graph (0, 0)][DBLP]
   ICFP, 2007, pp:97-110 [Conf]
   
5. 
   A Complete, Co-inductive Syntactic Theory of Sequential Control and State. [Citation Graph (, )][DBLP]
   
   
6. 
   Realizability Semantics of Parametric Polymorphism, General References, and Recursive Types. [Citation Graph (, )][DBLP]
   
   
7. 
   Relational parametricity for references and recursive types. [Citation Graph (, )][DBLP]