Matthew Lutze
where else to find them
what they talk about
where they keep going back
no series more than once — all 5 in the filters
on a stage with
all 6 in the filters
who talks about the same things
- Jonathan Immanuel Brachthäuser22 talks
- Magnus Madsen11 talks
- Philipp Schuster13 talks
- Klaus Ostermann14 talks
- Ondřej Lhoták11 talks
- Sam Lindley27 talks
| title | conference | date |
|---|---|---|
| The Simple Essence of Monomorphization | OOPSLA 2025 | 2025-10-16 |
Presents a type-flow directed monomorphization that duplicates declarations by collecting type-flow constraints, solving them with a fixed-point graph… | ||
| Type-safe Blazon - Enforcing Pedantry in Heraldic Design | FARM 2025 | 2025-10-12 |
Miniblazon is a small formal blazon language with a type system that checks four concrete things: valid attitudes for particular charges, no repeated tincture… | ||
| Associated Effects: Flexible Abstractions for Effectful Programming | PLDI 2024 | 2024-06-24 |
Introduces "associated effects": type-class-level effect variables that let each instance pick its concrete effect, solving cases like total vs partial… | ||
| With or Without You: Programming with Effect Exclusion | ICFP 2023 | 2023-09-04 |
A new Hindley‑Milner style type-and-effect system adds union, intersection and complement to express “any effects except these” and implements effect exclusion… | ||
| On Type-Cases, Union Elimination, and Occurrence Typing | POPL 2022 | 2022-01-16 |
Extends union/intersection type systems with a concrete type-case construct and proves the union-elimination plus type-case rules capture occurrence typing… | ||
| nothing matches | ||