J. Garrett Morris
where else to find them
no profile links on file
what they talk about
where they keep going back
- POPL2 editions2023–2024
all 4 in the filters
on a stage with
all 9 in the filters
who talks about the same things
- Alex Hubers3 talks
- Daniel Hillerström11 talks
- Aaron Stump5 talks
- Sam Lindley27 talks
- Steve Zdancewic19 talks
- Edward Lee10 talks
| title | conference | date |
|---|---|---|
| Chair's report | Haskell 2025 | 2025-10-16 |
Program committee reports 19 submissions across categories: 12 regular papers, 4 functional pearls, 1 experiment report and 2 demos, with each paper getting at… | ||
| Welcome | Haskell 2025 | 2025-10-16 |
Session frames types and monads as the historical themes and contrasts free monads and freer monads with a concrete claim: monadic structure resists static… | ||
| Soundly Handling Linearity | POPL 2024 | 2024-01-14 |
This work introduces control-flow linearity, formalizes it in a System F-style core calculus Feff∘ with linear types and effect handlers, and gives a… | ||
| Student research contest talks | ICFP 2023 | 2023-09-04 |
Six five-minute student reports present concrete artifacts and results: a semantics for higher-order hardware descriptions with a normalization theorem and… | ||
| Generic Programming with Extensible Data Types: Or, Making Ad Hoc Extensible Dat... | ICFP 2023 | 2023-09-04 |
Claims a practical calculus, System Rω, that extends Fω with row types and higher‑order rows to express generic operations over unknown labels; implements… | ||
| A Type-Based Approach to Divide-and-Conquer Recursion in Coq | POPL 2023 | 2023-01-15 |
Presents a type-level interface that encodes divide-and-conquer recursion as Mendler-style algebras, implemented in Coq and expressible in System F_omega plus… | ||
| Partial Type Constructors in Practice | Haskell Symposium 2022 | 2022-09-15 |
Proposes making partial type constructors explicit in Haskell by encoding well-formedness as constraints (implemented via type families and data-type contexts)… | ||
| nothing matches | ||