Gan Shen
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 7 in the filters
who talks about the same things
- Shun Kashiwa3 talks
- Andrew K. Hirsch6 talks
- Lindsey Kuper15 talks
- Fabrizio Montesi7 talks
- Ethan Cecchetti6 talks
- Xueying Qin3 talks
| title | conference | date |
|---|---|---|
| Freer Arrows and Why You Need Them in Haskell | Haskell 2025 | 2025-10-16 |
Proposes freer arrows as a Haskell data structure (plus two variants: freer pre-arrow and freer choice arrow) that yields an Arrow instance and admits simple… | ||
| Efficient, Portable, Census-Polymorphic Choreographic Programming | PLDI 2025 | 2025-06-16 |
Claims that conclaves and multiply-located values remove redundant broadcasts and make conditionals communication-efficient, with a formal lambda-C showing… | ||
| Toward Verified Library-Level Choreographic Programming with Algebraic Effects | CP 2024 | 2024-06-24 |
Claims that algebraic effects give a lightweight, formalizable basis for library-level choreographies, and presents an Agda prototype that models choreography… | ||
| HasChor: Functional Choreographic Programming for All | ICFP 2023 | 2023-09-04 |
HasChor is a Haskell library that encodes choreographies as a monad and compiles them to per-node programs via endpoint projection implemented with freer… | ||
| nothing matches | ||