BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: St=oslash=vring:Kristian

Contributed to:

FOSSACS 20112011
LICS 20112011
POPL 20112011
FOSSACS 20092009
ICFP 20072007
POPL 20072007

Wrote 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.
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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.