Casper Bach Poulsen, PhD student

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
  
  [DOI] [PDF] [Slides] [Accompanying Material]
• Casper Bach Poulsen and Peter D. Mosses: Divergence as State in Coinductive Big-Step Semantics (extended abstract)
  NWPT 2014
  
  [PDF] [Slides] [Accompanying Material]
• Casper Bach Poulsen and Peter D. Mosses: Deriving Pretty-Big-Step Semantics from Small-Step Semantics
  ESOP 2014
  
  [DOI] [PDF] [Slides] [Accompanying Material]
• Casper Bach Poulsen and Peter D. Mosses: Generating Specialized Interpreters for Modular Structural Operational Semantics
  LOPSTR 2013 (to appear)
  
  [PDF] [Slides] [Accompanying Material]

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)