Casper Bach Poulsen, PhD student

Contact:
phone: (+44) (0)1792 606515
email: cscbp@swansea.ac.uk
office: Room 403
Casper Bach Poulsen
Dep. of Computer
Science
Swansea University
Swansea
SA2
8PP
UK
Research interests
- Programming languages
- Semantics
- Type systems
- Logic
- Proof assistants (Coq)
Publications and abstracts
- Casper Bach Poulsen, Peter D. Mosses, and Paolo Torrini:
Imperative Polymorphism by Store-Based Types as
Abstract Interpretations
PEPM 2015
- Casper Bach Poulsen and Peter D. Mosses:
Divergence as State in Coinductive Big-Step Semantics
(extended abstract)
NWPT 2014
- Casper Bach Poulsen and Peter D. Mosses:
Deriving Pretty-Big-Step Semantics from Small-Step
Semantics
ESOP 2014
- Casper Bach Poulsen and Peter D. Mosses:
Generating Specialized Interpreters for Modular
Structural Operational Semantics
LOPSTR 2013 (to appear)
Teaching/Demonstrating
- CS-205 Declarative Programming ('14/'15)
- CS-205 Declarative Programming ('13/'14)
- CS-205 Declarative Programming ('12/'13)
- CS-110 Programming I ('12/'13)