Jacek Karwowski
where else to find them
what they talk about
where they keep going back
- POPL2 editions2022–2024
on a stage with
- Amr Sabryonce
- Cameron E. Freeronce
- Daniel Royonce
all 9 in the filters
who talks about the same things
- Younesse Kaddar4 talks
- Cameron E. Freer4 talks
- Hongseok Yang9 talks
- Sam Staton18 talks
- Michael Carbin14 talks
- Amr Sabry10 talks
| title | conference | date |
|---|---|---|
| Probabilistic programming interfaces for random graphs: Markov categories, graph... | POPL 2024 | 2024-01-14 |
Proves an equivalence: a well-behaved implementation of an abstract graph type (vertices, new, edge) corresponds exactly to a graphon. Uses Markov categories… | ||
| Symmetries in Reversible Programming: From Symmetric Rig Groupoids to Reversible | POPL 2022 | 2022-01-16 |
Presents a concrete equivalence: the Pi reversible language is shown equivalent to the free symmetric rig groupoid of finite sets and bijections via a… | ||
| nothing matches | ||