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: Thamsborg:Jacob
Contributed to:
2013
2012
20112011
2009Wrote 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.