Kristian Stvring
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
6
Venues
4
Active years
2007–2011
Best venue rank
A*
Where they publish
Papers
6 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2011 | FOSSACS | A Step-Indexed Kripke Model of Hidden State via Recursive Properties on Recursively Defined Metric Spaces. | Jan Schwinghammer, Lars Birkedal, Kristian Stvring |
| 2011 | LICS | First Steps in Synthetic Guarded Domain Theory: Step-Indexing in the Topos of Trees. | Lars Birkedal, Rasmus Ejlers Mgelberg, Jan Schwinghammer, Kristian Stvring |
| 2011 | POPL | Step-indexed kripke models over recursive worlds. | Lars Birkedal, Bernhard Reus, Jan Schwinghammer, Kristian Stvring, Jacob Thamsborg, Hongseok Yang |
| 2009 | FOSSACS | Realizability Semantics of Parametric Polymorphism, General References, and Recursive Types. | Lars Birkedal, Kristian Stvring, Jacob Thamsborg |
| 2007 | ICFP | Inductive reasoning about effectful data types. | Andrzej Filinski, Kristian Stvring |
| 2007 | POPL | A complete, co-inductive syntactic theory of sequential control and state. | Kristian Stvring, Sren B. Lassen |