Simon J. Gay
where else to find them
no profile links on file
what they talk about
where they keep going back
no series more than once — all 4 in the filters
on a stage with
all 6 in the filters
who talks about the same things
- Vikraman Choudhury10 talks
- Simon Fowler6 talks
- Phil Trinder7 talks
- Nicolas Wu25 talks
- Steve Zdancewic19 talks
- Lars Birkedal35 talks
| title | conference | date |
|---|---|---|
| The Duality of λ-Abstraction | POPL 2025 | 2025-01-19 |
Presents a concrete extension of call‑by‑value simply‑typed lambda calculus with covalues, coabstraction and coapplication, claiming that inserting double… | ||
| What we learned from writing a book about session types | ST30 2023 | 2023-10-22 |
A book documents a concrete development path: start from a minimal session calculus with a double-binder design, no primitive data, and mechanized-free proofs… | ||
| Classical Processes in modern dress | ST30 2023 | 2023-10-22 |
Proposes extending Curry–Howard to a Lambek-style correspondence that ties categorical models of classical linear logic to session-type semantics, and… | ||
| Lightning Talk: Towards Mailbox Typing for Erlang | Erlang 2023 | 2023-09-04 |
Mailbox types assign a state to a process mailbox as a commutative regular expression to statically detect protocol violations, payload mismatches, and… | ||
| Special Delivery: Programming with Mailbox Types | ICFP 2023 | 2023-09-04 |
Pat implements mailbox types that model each mailbox as a commutative regular expression and statically rule out protocol violations (double put, missing… | ||
| nothing matches | ||