Icfp 2025
Three papers I co-authored will appear in ICFP’25! These are Bialgebraic Reasoning on Stateful Languages, Big Steps in Higher-Order Mathematical Operational Semantics and CRDT Emulation, Simulation, and Representation Independence.
Three papers I co-authored will appear in ICFP’25! These are Bialgebraic Reasoning on Stateful Languages, Big Steps in Higher-Order Mathematical Operational Semantics and CRDT Emulation, Simulation, and Representation Independence.