Arjen Rouvoet - researchr profile

researchr

You are not signed in
Sign in
Sign up

-

:

TU Delft

Intrinsically typed compilation with nameless labelsArjen Rouvoet, Robbert Krebbers, Eelco Visser. PACMPL, 5(POPL):1-28, 2021. [doi]

Correct by Construction Language ImplementationsArjen Rouvoet. PhD thesis, Delft University of Technology, 2021.

Intrinsically-typed definitional interpreters for linear, session-typed languagesArjen Rouvoet, Casper Bach Poulsen, Robbert Krebbers, Eelco Visser. CPP 2020: 284-298 [doi]

Knowing When to Ask: ArtifactArjen Rouvoet, Hendrik van Antwerpen, Casper Bach Poulsen, Robbert Krebbers, Eelco Visser. 1.0, oct 2020. [doi]

Knowing When to Ask: Sound scheduling of name resolution in type checkers derived from declarative specifications (Extended Version)Arjen Rouvoet, Hendrik van Antwerpen, Casper Bach Poulsen, Robbert Krebbers, Eelco Visser. Zenodo, Oct 2020. [doi]

Knowing when to ask: sound scheduling of name resolution in type checkers derived from declarative specificationsArjen Rouvoet, Hendrik van Antwerpen, Casper Bach Poulsen, Robbert Krebbers, Eelco Visser. PACMPL, 4(OOPSLA), 2020. [doi]

Intrinsic-Verification

runs on WebDSL