8th International Conference on Applied Category Theory - University of Florida, June 2-6, 2025
There are two papers to be presented here that caught my attention:
- Dependent Directed Wiring Diagrams for Composing Instantaneous Systems by Keri D’Angelo and Sophie Libkind. See Using Pipewire to Make A Music Synthesizer.
- Actegories and Copowers with Applications to Message Passing Semantics by Robin Cockett and Melika Norouzbeygi. (See Categorical Semantics of Higher-Order Message Passing for the background and Compiler Coffee Club - Interning Cyclic Types in a Compiler).
See the conference web site https://gataslab.org/act2025/act2025.
Comments
Post a Comment