Travelled to:1 × Canada
1 × France
1 × USA
1 × United Kingdom
2 × Germany
Collaborated with:L.Birkedal J.Schwinghammer J.Thamsborg A.Filinski S.B.Lassen R.E.Møgelberg B.Reus H.Yang
Talks about:recurs (4) step (4) index (3) theori (2) induct (2) state (2) model (2) kripk (2) type (2) polymorph (1)
Person: Kristian Støvring
DBLP: St=oslash=vring:Kristian
Contributed to:
2011
2011
20112009
20072007Wrote 6 papers:
- FoSSaCS-2011-SchwinghammerBS #metric #recursion
- A Step-Indexed Kripke Model of Hidden State via Recursive Properties on Recursively Defined Metric Spaces (JS, LB, KS), pp. 305–319.
- LICS-2011-BirkedalMSS
- First Steps in Synthetic Guarded Domain Theory: Step-Indexing in the Topos of Trees (LB, REM, JS, KS), pp. 55–64.
- POPL-2011-BirkedalRSSTY #modelling #recursion
- Step-indexed kripke models over recursive worlds (LB, BR, JS, KS, JT, HY), pp. 119–132.
- FoSSaCS-2009-BirkedalST #morphism #parametricity #polymorphism #recursion #semantics
- Realizability Semantics of Parametric Polymorphism, General References, and Recursive Types (LB, KS, JT), pp. 456–470.
- ICFP-2007-FilinskiS #data type #induction #reasoning
- Inductive reasoning about effectful data types (AF, KS), pp. 97–110.
- POPL-2007-StovringL #induction
- A complete, co-inductive syntactic theory of sequential control and state (KS, SBL), pp. 161–172.