Casper Bach Poulsen

Registered user since Wed 4 May 2016

Name:Casper Bach Poulsen

Affiliation:Delft University of Technology

Contributions

CPP 2020	Intrinsically-Typed Definitional Interpreters for Linear, Session-Typed Languages
PEPM 2020	Co-chair in PC Chairs within the PEPM 2020-track Session Chair of Opening & Keynote Talk 1 (part of PEPM 2020) Opening Co-chair in Program Committee within the PEPM 2020-track Session Chair of Keynote Talk 2 (part of PEPM 2020)
Show activities from other conferences