Casper Bach Poulsen
where else to find them
no profile links on file
what they talk about
all 5 in the filters
where they keep going back
all 7 in the filters
on a stage with
all 18 in the filters
who talks about the same things
- Arjen Rouvoet6 talks
- Casper Bach2 talks
- Eelco Visser9 talks
- Robbert Krebbers26 talks
- Hendrik van Antwerpen5 talks
- Ondřej Lhoták11 talks
| title | conference | date |
|---|---|---|
| Concrete Syntax Metapatterns | SLE 2024 | 2024-10-20 |
Presents a compiler that compiles concrete syntax metapatterns via black-box parsers into abstract-syntax metapatterns, handling disjunctions, descendant… | ||
| Modal Mu-Calculus for Free in Agda | TyDe 2024 | 2024-09-06 |
Embeds the modal μ-calculus into Agda by representing possibly nonterminating effectful programs as a coinductive free monad encoded with coinductive records… | ||
| Towards a Language-parametric DSL for Refactoring (Short Paper) | PEPM 2024 | 2024-01-16 |
Prototype DSL implements language‑parametric refactorings by deriving full name‑binding info from scope graphs, performing concise traversals via a borrowed… | ||
| A Monadic Framework for Name Resolution in Multi-Phased Type Checkers | GPCE 2023 | 2023-10-22 |
Paper builds a monadic interface for phased name resolution that detects and rejects subtle phasing errors by checking whether later-added bindings would… | ||
| Hefty Algebras: Modular Elaboration of Higher-Order Algebraic Effects | POPL 2023 | 2023-01-15 |
Presents Hefty algebras that elaborate higher‑order operations into primitive algebraic effects while preserving modularity so handlers can be swapped without… | ||
| 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… | ||
| Language-parametric static semantic code completion | OOPSLA 2022 | 2022-12-05 |
Implements a language‑parametric code completion that is sound and complete by construction: it reinterprets Statix static semantics and SDF3 syntax to expand… | ||
| Latent Effects for Reusable Language Components | APLAS 2021 | 2021-10-17 |
Claims a new class called latent effects that strictly generalizes algebraic and scoped effects and adds a modular latent monad plus a latent functor L to let… | ||
| Latent Effects and Handlers + Automatic Differentiation via Effects and Handlers | PEPM 2021 | 2021-01-18 |
Two papers show concrete implementations: one adds latent effects to algebraic handlers (Acta implementation) so function abstractions and staging can get… | ||
| 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… | ||
| nothing matches | ||