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 × France
1 × Italy
1 × Japan
1 × USA
1 × United Kingdom
Collaborated with:
L.Birkedal K.Støvring F.Sieczkowski A.J.Turon A.Ahmed D.Dreyer B.Reus J.Schwinghammer H.Yang
Talks about:
relat (3) logic (3) concurr (2) recurs (2) kripk (2) transform (1) polymorph (1) parametr (1) program (1) general (1)

Person: Jacob Thamsborg

DBLP DBLP: Thamsborg:Jacob

Contributed to:

POPL 20132013
CSL 20122012
ICFP 20112011
POPL 20112011
FOSSACS 20092009

Wrote 5 papers:

POPL-2013-TuronTABD #concurrent #fine-grained #logic
Logical relations for fine-grained concurrency (AJT, JT, AA, LB, DD), pp. 343–356.
CSL-2012-BirkedalST #concurrent #logic
A Concurrent Logical Relation (LB, FS, JT), pp. 107–121.
ICFP-2011-ThamsborgB #logic #program transformation
A kripke logical relation for effect-based program transformations (JT, LB), pp. 445–456.
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.

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.