Matthias Felleisen
where else to find them
what they talk about
all 5 in the filters
where they keep going back
- OOPSLA2 editions2020–2023
all 6 in the filters
on a stage with
all 7 in the filters
who talks about the same things
- Ben Greenman9 talks
- Christos Dimoulas8 talks
- Ondřej Lhoták11 talks
- Éric Tanter12 talks
- Max S. New8 talks
- Jonathan Immanuel Brachthäuser22 talks
| title | conference | date |
|---|---|---|
| Effectful Software Contracts | POPL 2024 | 2024-01-14 |
Presents a formal design that lets contracts perform effects while proving they do not change successful runs: an erasure theorem showing contract checks… | ||
| How Profilers Can Help Navigate Type Migration | OOPSLA 2023 | 2023-10-23 |
Uses a 16‑benchmark corpus with ~100,000 gradually typed configurations and 1.2M runtime/profile measurements to evaluate 17 migration strategies driven by a… | ||
| How to Evaluate Blame for Gradual Types, Part 2 | ICFP 2023 | 2023-09-04 |
Empirical study instruments a rational-programmer procedure, mutates GTB benchmark programs, and runs three TyRet/Racket semantics (eraser, transient, natural)… | ||
| Macros for Domain-Specific Languages | OOPSLA 2020 | 2020-11-15 |
Presents an implementation of a two-layer expander API for Racket that lets internal DSLs get their own expander and compiler while reusing host services like… | ||
| Adding Interactive Visual Syntax to Textual Code | OOPSLA 2020 | 2020-11-15 |
Extends textual languages with reusable interactive-syntax extensions that embed runnable visual editors into source code; examples include a tree editor that… | ||
| Language-Oriented Programming with Racket | Lambda World Cádiz 2019 | 2019-10-17 |
Claims that Racket makes creating and composing tiny languages cheap and practical, showing a video DSL that redoes 25 conference videos and cuts manual… | ||
| Types are like the Weather, Type Systems are like Weathermen | Clojure/west 2016 | 2016-04-15 |
Argues that types are predictions and that adding them to an untyped ecosystem requires incremental typing, a boundary mechanism and runtime checks… | ||
| big-bang: the world, universe, and network in the programming language | Strange Loop 2015 | 2015-09-24 |
Big-bang is a language construct that turns pure functions into event handlers; Racket’s Universe library powers middle-school animations and text editors with… | ||
| nothing matches | ||