Techniques for Contextual Equivalence in Higher-Order, Typed Languages
No abstract available.
Related papers
- SyTeCi: automating contextual equivalence for higher-order programs with references POPL 2020
- Contextual equivalence for inductive definitions with binders in higher order typed functional programming JFP 2013
- A logical relation for monadic encapsulation of state: proving contextual equivalences in the presence of runST POPL 2018
- Step-Indexed Logical Relations for Countable Nondeterminism and Probabilistic Choice POPL 2023
- Environmental bisimulations for probabilistic higher-order languages POPL 2016
- Environmental Bisimulations for Probabilistic Higher-order Languages TOPLAS 2019
- Contextual Embeddings: Implementing Bound Variables through Instance Resolution PLDI 2026
- Small bisimulations for reasoning about higher-order imperative programs POPL 2006