Using Category Theory to Design Programming Languages
Abstract elided by the publisher.
Related papers
- Adhesive Category Theory for Graph Rewriting in Rocq CPP 2026
- Formalizing the ∞-Categorical Yoneda Lemma CPP 2024
- Formalizing category theory in Agda CPP 2021
- Proving the unique fixed-point principle correct: an adventure with category theory ICFP 2011
- Algebraic data integration JFP 2017
- Prospects for Computer Formalization of Infinite-Dimensional Category Theory (Invited Talk) CPP 2025
- From Semantics to Syntax: A Type Theory for Comprehension Categories POPL 2026
- Comparing Semantic Frameworks for Dependently-Sorted Algebraic Theories APLAS 2024