Sung-Shik Jongmans
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
who talks about the same things
- Nobuko Yoshida13 talks
- Alceste Scalas5 talks
- Stephanie Balzer10 talks
- Francisco Ferreira3 talks
- David Castro-Perez3 talks
- Jules Jacobs11 talks
| title | conference | date |
|---|---|---|
| A Synthetic Reconstruction of Multiparty Session Types | POPL 2026 | 2026-01-11 |
New approach types processes directly against a global labelled transition system, claiming no projection and restoring compositionality while matching the… | ||
| Klor: Choreographic Programming in Clojure | Heart of Clojure 2024 | 2024-09-18 |
Klor is a Clojure-embedded DSL that compiles choreographies at macroexpansion using clojure.tools.analyzer and macros to project a single global program into… | ||
| Klor: Choreographies for the Working Clojurian | CP 2024 | 2024-06-24 |
Klor is a Clojure EDSL for choreographies developed in about six to seven months that performs compile-time projection via a defchor macro which expands into… | ||
| Automated Correctness Analysis for core.async | :clojureD 2022 | 2022-06-10 |
Discourje lets Clojure programs declare channel protocols as textual sequence diagrams and wires a thin instrumentation layer around core.async so a runtime… | ||
| nothing matches | ||