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 × 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 DBLP: Poulsen:Casper_Bach

Contributed to:

PEPM 20152015
ESOP 20142014
LOPSTR 20132013
ECOOP 20162016
OOPSLA 20182018
POPL 20182018

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

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.