Peter D. Mosses
where else to find them
what they talk about
where they keep going back
no series more than once — all 4 in the filters
on a stage with
- Arjen Rouvoetonce
- Cas van der Restonce
- Casper Bach Poulsenonce
all 4 in the filters
who talks about the same things
nobody close enough yet
| title | conference | date |
|---|---|---|
| Checking a Denotational Semantics of Scheme in Agda | Scheme 2025 | 2025-10-16 |
A shallow embedding of the R5RS denotational semantics into Agda is implemented and type-checked, revealing concrete well-formedness bugs (including a missing… | ||
| Towards Verification of a Denotational Semantics of Inheritance | JENSFEST 2024 | 2024-10-22 |
An Agda formalisation replicates the OOPSLA ’89 operational and denotational definitions of inheritance, uses Agda proof assistant to check the equivalence via… | ||
| Online Name-Based Navigation for Software Meta-languages | SLE 2023 | 2023-10-23 |
Generates verbatim-copy websites called hyperlinked twins that add precise hyperlinks between name references and declarations by reusing Spoofax name-binding… | ||
| 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… | ||
| nothing matches | ||