Relational Reasoning for Recursive Types and References
No abstract available.
Related papers
- The marriage of bisimulations and Kripke logical relations POPL 2012
- Modelling Recursion and Probabilistic Choice in Guarded Type Theory POPL 2025
- The impact of higher-order state and control effects on local relational reasoning JFP 2012
- Recursive Logical Relations for Intuitionistic Linear Logic Session Types ESOP 2026
- Combining Algebraic and Algorithmic Reasoning: An Approach to the Schorr-Waite Algorithm TOPLAS 1982
- Complete the Cycle: Reachability Types with Expressive Cyclic References OOPSLA 2025
- Generic top-down discrimination for sorting and partitioning in linear time JFP 2012
- A typed store-passing translation for general references POPL 2011