Filip Sieczkowski
where else to find them
what they talk about
where they keep going back
no series more than once — all 3 in the filters
on a stage with
- Dariusz Biernackionce
- Jonathan Sterlingonce
- Lars Birkedalonce
all 6 in the filters
who talks about the same things
- Dariusz Biernacki2 talks
- Sergei Stepanenko2 talks
- Jonathan Sterling4 talks
- Jonathan Immanuel Brachthäuser22 talks
- Nicolas Wu25 talks
- Matija Pretnar4 talks
| title | conference | date |
|---|---|---|
| Functorial Syntax for All | CoqPL 2024 | 2024-01-20 |
A Coq library implements a variant of Fiore–Plotkin–Turi functorial syntax: users define syntax as functors over indexing categories and supply functorial and… | ||
| The Essence of Generalized Algebraic Data Types | POPL 2024 | 2024-01-14 |
Presents a minimal core calculus—System Fω+μ with internalized type equalities and injective constant constructors—that directly encodes GADTs, proves… | ||
| A General Fine-Grained Reduction Theory for Effect Handlers | ICFP 2023 | 2023-09-04 |
Presents a fine-grained reduction semantics for deep effect handlers that gives confluence and standardisation proofs (adapting Takahashi/McKinna techniques)… | ||
| nothing matches | ||