Functors for Proofs and Programs
Abstract elided by the publisher.
Related papers
- Generically Automating Separation Logic by Functors, Homomorphisms, and Modules POPL 2025
- An abstract memory functor for verified C static analyzers ICFP 2016
- Bindings as bounded natural functors POPL 2019
- Fully abstract module compilation POPL 2019
- Locally Nameless Sets POPL 2023
- Definitional Functoriality for Dependent (Sub)Types ESOP 2024
- Coercive Subtyping for Implicit Functorial Programming Haskell 2026
- Fulfilling OCaml Modules with Transparency OOPSLA 2024