Max S. New
where else to find them
no profile links on file
what they talk about
where they keep going back
- OOPSLA2 editions2023–2025
- PLDI Workshop Honoring Andreas Podelski2 editions2022–2025
all 5 in the filters
on a stage with
all 9 in the filters
who talks about the same things
- Eric Giovannini2 talks
- Éric Tanter12 talks
- Matthias Felleisen10 talks
- Stephanie Weirich14 talks
- Wenjia Ye5 talks
- Ben Greenman9 talks
| title | conference | date |
|---|---|---|
| A Call-by-push-value Scheme | Scheme 2026 | 2026-08-29 |
Prototype Fiddle implements a call-by-push-value variant of Scheme and compiles as a Racket embedded language using the turnstile library; it makes application… | ||
| Notions of Stack-manipulating Computation and Relative Monads | OOPSLA 2025 | 2025-10-16 |
Adapts the category-theoretic notion of relative monads to a polymorphic call-by-push-value calculus to model concrete stack-based implementations of effects… | ||
| Intrinsic Verification of Parsers and Formal Grammar Theory in Dependent Lambek Calculus | PLDI 2025 | 2025-06-16 |
Presents LambekD, a dependent, ordered linear type theory that makes parsers sound by construction and, with a complement/disjointness proof, complete… | ||
| Denotational Semantics of Gradual Typing using Synthetic Guarded Domain Theory | POPL 2025 | 2025-01-19 |
Presents a denotational model of a simple gradually typed lambda calculus built inside guarded type theory, solving the dynamic-type equation with guarded… | ||
| Gradual Typing for Effect Handlers | OOPSLA 2023 | 2023-10-23 |
GrEff is a gradually typed language for effect handlers that supports incremental migration from unchecked to checked effect typing; it elaborates to a cast… | ||
| Relative Monads in CBPV for Stack-based Effects | HOPE 2022 | 2022-09-11 |
Claim: modeling stack-based implementations of effects uses relative monad structure inside Call-by-push-value (CBPV), not ordinary endo-monads. Uses CBPV’s… | ||
| Deep and Shallow Types for Gradual Languages | PLDI 2022 | 2022-06-13 |
Combines deep (natural) and shallow (transient) gradual typing into one language and proves they interoperate while preserving deep’s type soundness and… | ||
| nothing matches | ||