Anton Lorenzen
where else to find them
what they talk about
where they keep going back
- ICFP3 editions2022–2025
all 5 in the filters
on a stage with
all 7 in the filters
who talks about the same things
- Daan Leijen16 talks
- Sam Lindley27 talks
- Wouter Swierstra10 talks
- Daniel Hillerström11 talks
- Wenhao Tang8 talks
- Magnus Madsen11 talks
| title | conference | date |
|---|---|---|
| Lightweight Testing of Persistent Amortized Time Complexity in the Credit Monad | Haskell 2025 | 2025-10-16 |
Defines a small DSL that models laziness with explicit delay/force, counts steps with a tick and runs property tests via QuickCheck to check persistent… | ||
| Modal Effect Types | OOPSLA 2025 | 2025-10-16 |
Replaces pervasive effect variables with an ambient effect context and explicit modalities so higher‑order library signatures no longer need ubiquitous effect… | ||
| First-Order Laziness | ICFP 2025 | 2025-10-12 |
Proposes replacing thunk closures with lazy constructors that are defunctionalized first‑order values, implemented in Koka; evaluation happens on pattern match… | ||
| The Functional Essence of Imperative Binary Search Trees | PLDI 2024 | 2024-06-24 |
Functional algorithms introduce a new first-class constructor context primitive and use Koka’s reuse-aware reference counting to implement tail-call, in-place… | ||
| FP²: Fully in-Place Functional Programming | ICFP 2023 | 2023-09-04 |
Formal system proves a large class of pure functions can run with no allocation or deallocation and constant stack space when their arguments are unique, and… | ||
| Tail Recursion Modulo Context: An Equational Approach | POPL 2023 | 2023-01-15 |
Generalizes tail recursion modulo cons into a general TRMC algorithm derived from an equational specification, requiring four instantiation operations and… | ||
| Reference Counting with Frame Limited Reuse | ICFP 2022 | 2022-09-11 |
Defines Perceus garbage-free refcounting that inserts precise increment/drop ops so objects free exactly when unreachable, adds a new drop-guided reuse… | ||
| nothing matches | ||