Arjen Rouvoet

Publication Activity (10 Years)

Years Active: 2018-2022
Publications (10 Years): 6

Top Topics

Lambda Calculus

Description Languages

Truth Maintenance Systems

Top Venues

Proc. ACM Program. Lang.

Publications

Cas van der Rest, Casper Bach Poulsen, Arjen Rouvoet, Eelco Visser, Peter D. Mosses
Intrinsically-typed definitional interpreters à la carte. Proc. ACM Program. Lang. 6 (OOPSLA2) (2022)
Arjen Rouvoet, Robbert Krebbers, Eelco Visser
Intrinsically typed compilation with nameless labels. Proc. ACM Program. Lang. 5 (POPL) (2021)
Arjen Rouvoet, Casper Bach Poulsen, Robbert Krebbers, Eelco Visser
Intrinsically-typed definitional interpreters for linear, session-typed languages. CPP (2020)
Arjen Rouvoet, Hendrik van Antwerpen, Casper Bach Poulsen, Robbert Krebbers, Eelco Visser
Knowing when to ask: sound scheduling of name resolution in type checkers derived from declarative specifications. Proc. ACM Program. Lang. 4 (OOPSLA) (2020)
Casper Bach Poulsen, Arjen Rouvoet, Andrew Tolmach, Robbert Krebbers, Eelco Visser
Intrinsically-typed definitional interpreters for imperative languages. Proc. ACM Program. Lang. 2 (POPL) (2018)
Hendrik van Antwerpen, Casper Bach Poulsen, Arjen Rouvoet, Eelco Visser
Scopes as types. Proc. ACM Program. Lang. 2 (OOPSLA) (2018)