Registered user since Wed 4 May 2016

Name: Casper Bach Poulsen

Affiliation: Delft University of Technology

POPL 2018 Activities

• Author of Intrinsically-Typed Definitional Interpreters for Imperative Languages within the Research Papers-track in POPL 2018
• Author of Intrinsically-Typed Definitional Interpreters within the Artifact Evaluation-track in POPL 2018
• Show activities from other conferences