Arjen Rouvoet
where else to find them
no profile links on file
what they talk about
where they keep going back
- OOPSLA2 editions2020–2022
on a stage with
all 7 in the filters
who talks about the same things
- Eelco Visser9 talks
- Casper Bach Poulsen11 talks
- Casper Bach2 talks
- Robbert Krebbers26 talks
- Hendrik van Antwerpen5 talks
- Tiark Rompf24 talks
| title | conference | date |
|---|---|---|
| Intrinsically-Typed Definitional Interpreters à la Carte | OOPSLA 2022 | 2022-12-05 |
Presents a method for building modular, mechanically verified type-safe language components using intrinsically-typed definitional interpreters and a new… | ||
| Intrinsically Typed Compilation with Nameless Labels | POPL 2021 | 2021-01-17 |
Claims a compositional way to intrinsically type bytecode by replacing global names with nameless labels and a co-contextual interface algebra, implemented as… | ||
| Knowing When to Ask: Sound Scheduling of Name Resolution in Type Checkers Derived from Declarative S | OOPSLA 2020 | 2020-11-15 |
Derives executable type checkers from Statix specifications by giving an operational semantics that schedules name resolution to avoid unstable queries… | ||
| Intriniscly-Typed Interpretation of Linear Languages | CPP 2020 | 2020-01-20 |
Defines an intrinsically-typed definitional interpreter for session-typed languages with linear channels, implemented in Agda so semantics are executable and… | ||
| nothing matches | ||