Categorical Descriptional Composition
Abstract elided by the publisher.
Related papers
- A Categorical Understanding of Environment Machines JFP 1992
- Compositional Probabilistic Model Checking with String Diagrams of MDPs CAV 2023
- Programming Backpropagation with Reverse Handlers for Arrows ICFP 2026
- Categorical combinatorics of scheduling and synchronization in game semantics POPL 2019
- Compositional Imprecise Probability: A Solution from Graded Monads and Markov Categories POPL 2025
- Composing Tree Attributions POPL 1994
- Mixed linear and non-linear recursive types ICFP 2019
- Exclusion for composite objects OOPSLA 2000