Travelled to:1 × France
1 × India
1 × Spain
Collaborated with:P.D.Mosses E.Visser Arjen Rouvoet P.Torrini Pierre Néron A.P.Tolmach Hendrik van Antwerpen A.Tolmach R.Krebbers
Talks about:semant (4) interpret (3) type (3) scope (2) imper (2) step (2) polymorph (1) structur (1) abstract (1) uniform (1)
Person: Casper Bach Poulsen
DBLP: Poulsen:Casper_Bach
Contributed to:
2015
2014
2013
2016
2018
2018Wrote 6 papers:
- PEPM-2015-PoulsenMT #abstract interpretation #imperative #morphism #polymorphism
- Imperative Polymorphism by Store-Based Types as Abstract Interpretations (CBP, PDM, PT), pp. 3–8.
- ESOP-2014-PoulsenM #semantics
- Deriving Pretty-Big-Step Semantics from Small-Step Semantics (CBP, PDM), pp. 270–289.
- LOPSTR-2013-PoulsenM #composition #generative #semantics
- Generating Specialized Interpreters for Modular Structural Operational Semantics (CBP, PDM), pp. 220–236.
- ECOOP-2016-PoulsenNTV #layout #memory management #semantics
- Scopes Describe Frames: A Uniform Model for Memory Layout in Dynamic Semantics (CBP, PN, APT, EV), p. 26.
- OOPSLA-2018-AntwerpenPRV
- Scopes as types (HvA, CBP, AR, EV), p. 30.
- POPL-2018-PoulsenRTKV #imperative
- Intrinsically-typed definitional interpreters for imperative languages (CBP, AR, AT, RK, EV), p. 34.