A.J. Rouvoet
Titel
Geciteerd door
Geciteerd door
Jaar
Intrinsically-Typed Definitional Interpreters for Imperative Languages
CB POULSEN, A ROUVOET, A TOLMACH, R KREBBERS, E VISSER
19*2018
Scopes as types
H van Antwerpen, C Bach Poulsen, A Rouvoet, E Visser
Proceedings of the ACM on Programming Languages 2 (OOPSLA), 1-30, 2018
162018
Intrinsically-Typed Definitional Interpreters for Linear, Session-Typed Languages
A Rouvoet, CB Poulsen, R Krebbers, E Visser
52020
Programs for Free: Towards the Formalization of Implicit Resolution in Scala
A Rouvoet
Master’s thesis. TU Delft, 2016
42016
Systematic Testing of Hardware Compilers: Testing the DWARV C-to-VHDL Compiler
AJ Rouvoet, E Schoute, AB Booij
2013
Het systeem kan de bewerking nu niet uitvoeren. Probeer het later opnieuw.
Artikelen 1–5