Write a Blog >>
POPL 2021
Sun 17 - Fri 22 January 2021 Online
Arjen Rouvoet

Registered user since Wed 27 Nov 2019

Name: Arjen Rouvoet

Affiliation: Delft University of Technology

Personal website: https://ajrouvoet.github.io/

Research interests: PL, Type theory, Dependent types, Agda

Contributions

POPL 2021 Intrinsically Typed Compilation with Nameless Labels
Show activities from other conferences

POPL 2021-profile
View general profile