Arnaud Spiwack
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
- Csongor Kissonce
- Jean-Philippe Bernardyonce
- Nicolas Wuonce
all 5 in the filters
who talks about the same things
- Jean-Philippe Bernardy5 talks
- Steve Zdancewic19 talks
- Ryan R. Newton3 talks
- Deepak Garg18 talks
- François Pottier14 talks
- Simon Peyton Jones26 talks
| title | conference | date |
|---|---|---|
| Destination calculus: A linear λ-calculus for purely functional memory writes | OOPSLA 2025 | 2025-10-16 |
Presents a concrete calculus that compiles destination‑passing into pure functional code and shows nontrivial examples: a tail‑recursive map implemented with… | ||
| Linearly Qualified Types: Generic Inference for Capabilities and Uniqueness | ICFP 2022 | 2022-09-11 |
Adds implicit linear constraints as qualified types and implements a constraint generation and inference algorithm that extends GHCs solver, desugaring the… | ||
| Evaluating Linear Functions to Symmetric Monoidal Categories | Haskell Symposium 2021 | 2021-08-26 |
Arrows lose needed parallelism because they force tuple-shaped inputs, so encoding box-and-wire diagrams as arrows wastes CPU; the claim is that symmetric… | ||
| nothing matches | ||