2 papers
cs.PL2026
Categorical Message Passing Language (CaMPL): Syntax and Semantics
Robin Cockett, Daniel Kiyoshi Hashimoto, Alexanna Little Berg +1
We introduce a novel functional-style concurrent programming language called Categorical Message Passing Language (CaMPL) which is designed using the mathematics of linear actegori…
cs.PL2026
Categorical Message Passing Language (CaMPL) for programmers
Daniel Kiyoshi Hashimoto, Alexanna Little Berg, Priyaa Varshinee Srinivasan
Categorical Message Passing Language (CaMPL) is a functional-style concurrent programming language whose semantics is in category theory, more specifically, linear actegories. Its…