| Intrinsically-Typed Definitional Interpreters for Imperative Languages C Bach Poulsen, A Rouvoet, A Tolmach, R Krebbers, E Visser | 53 | 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 | 49 | 2018 |
| Intrinsically-Typed Definitional Interpreters for Linear, Session-Typed Languages A Rouvoet, C Bach Poulsen, R Krebbers, E Visser | 37 | 2020 |
| Knowing when to ask: sound scheduling of name resolution in type checkers derived from declarative specifications A Rouvoet, H van Antwerpen, C Bach Poulsen, R Krebbers, E Visser Proceedings of the ACM on Programming Languages 4 (OOPSLA), 1-28, 2020 | 12 | 2020 |
| Intrinsically-typed definitional interpreters à la carte C van der Rest, CB Poulsen, A Rouvoet, E Visser, P Mosses Proceedings of the ACM on Programming Languages 6 (OOPSLA2), 1903-1932, 2022 | 10 | 2022 |
| Intrinsically Typed Compilation with Nameless Labels A Rouvoet, R Krebbers, E Visser | 8 | 2021 |
| Programs for Free: Towards the Formalization of Implicit Resolution in Scala A Rouvoet Master’s thesis. TU Delft, 2016 | 8 | 2016 |
| Correct by Construction Language Implementations. A Rouvoet Delft University of Technology, Netherlands, 2021 | 2 | 2021 |
| Systematic Testing of Hardware Compilers: Testing the DWARV C-to-VHDL Compiler A Rouvoet, E Schoute, AB Booij | | 2013 |
Eelco VisserProfessor of Computer Science, Delft University of Technology確認したメール アドレス: tudelft.nl
