Building Extensible Program Logics through Effect Handlers
Published in [Under review], 2025
This paper presents an approach for building extensible program logics based on effect handlers, and a relational logic for proving contextual refinements between programs using effects. Read more
Recommended citation: Zichen Zhang, Simon Oddershede Gregersen, and Joseph Tassarotti. 2025. Building Extensible Program Logics through Effect Handlers. Under review. https://u8cat.github.io/files/ficus.pdf
Download Paper | Download Bibtex