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 2021Author of Intrinsically Typed Compilation with Nameless Labels within the Research Papers-track
Show activities from other conferences

Using general profile