2 papers
cs.PL2023
Fully Composable and Adequate Verified Compilation with Direct Refinements between Open Modules (Technical Report)
Ling Zhang, Yuting Wang, Jinhua Wu +2
Verified compilation of open modules (i.e., modules whose functionality depends on other modules) provides a foundation for end-to-end verification of modular programs ubiquitous i…
cs.PL2022
Grounding Game Semantics in Categorical Algebra
Jérémie Koenig
I present a formal connection between algebraic effects and game semantics, two important lines of work in programming languages semantics with applications in compositional softwa…