Arjen Rouvoet

According to our database, Arjen Rouvoet authored at least 7 papers between 2018 and 2022.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2022

Intrinsically-typed definitional interpreters à la carte.

Cas van der Rest, Casper Bach Poulsen, Arjen Rouvoet, Eelco Visser, Peter D. Mosses

Proc. ACM Program. Lang., 2022

2021

Correct by Construction Language Implementations.

Arjen Rouvoet

PhD thesis, 2021

Intrinsically typed compilation with nameless labels.

Arjen Rouvoet, Robbert Krebbers, Eelco Visser

Proc. ACM Program. Lang., 2021

2020

Knowing when to ask: sound scheduling of name resolution in type checkers derived from declarative specifications.

Arjen Rouvoet, Hendrik van Antwerpen, Casper Bach Poulsen, Robbert Krebbers, Eelco Visser

Proc. ACM Program. Lang., 2020

Intrinsically-typed definitional interpreters for linear, session-typed languages.

Arjen Rouvoet, Casper Bach Poulsen, Robbert Krebbers, Eelco Visser

Proceedings of the 9th ACM SIGPLAN International Conference on Certified Programs and Proofs, 2020

2018

Intrinsically-typed definitional interpreters for imperative languages.

Casper Bach Poulsen, Arjen Rouvoet, Andrew Tolmach, Robbert Krebbers, Eelco Visser

Proc. ACM Program. Lang., 2018

Scopes as types.

Hendrik van Antwerpen, Casper Bach Poulsen, Arjen Rouvoet, Eelco Visser

Proc. ACM Program. Lang., 2018