关注
Arjen (Jonathan) Rouvoet
Arjen (Jonathan) Rouvoet
在 tno.nl 的电子邮件经过验证 - 首页
标题
引用次数
引用次数
年份
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
522018
Intrinsically-Typed Definitional Interpreters for Imperative Languages
C Bach Poulsen, A Rouvoet, A Tolmach, R Krebbers, E Visser
522018
Intrinsically-Typed Definitional Interpreters for Linear, Session-Typed Languages
A Rouvoet, C Bach Poulsen, R Krebbers, E Visser
382020
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
132020
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
102022
Intrinsically Typed Compilation with Nameless Labels
A Rouvoet, R Krebbers, E Visser
82021
Programs for Free: Towards the Formalization of Implicit Resolution in Scala
A Rouvoet
Master’s thesis. TU Delft, 2016
82016
Correct by Construction Language Implementations.
A Rouvoet
Delft University of Technology, Netherlands, 2021
22021
Systematic Testing of Hardware Compilers: Testing the DWARV C-to-VHDL Compiler
A Rouvoet, E Schoute, AB Booij
2013
系统目前无法执行此操作,请稍后再试。
文章 1–9