A Formal Semantics for Isorecursive and Equirecursive State Abstractions
No abstract available.
Related papers
- Polarized Subtyping ESOP 2022
- System Fμ ømega with Context-free Session Types ESOP 2023
- Fully abstract from static to gradual POPL 2021
- System f-omega with equirecursive types for datatype-generic programming POPL 2016
- A simple library implementation of binary sessions JFP 2017
- Purity of an ST monad: full abstraction by semantically typed back-translation OOPSLA 2022
- SMT-Friendly Formalization of the Solidity Memory Model ESOP 2020
- StkTokens: Enforcing well-bracketed control flow and stack encapsulation using linear capabilities JFP 2021