Step-Indexed Syntactic Logical Relations for Recursive and Quantified Types
No abstract available.
Related papers
- Scala step-by-step: soundness for DOT with step-indexed logical relations in Iris ICFP 2020
- Step-Indexed Logical Relations for Countable Nondeterminism and Probabilistic Choice POPL 2023
- Biorthogonality, step-indexing and compiler correctness ICFP 2009
- A type-directed, dictionary-passing translation of method overloading and structural subtyping in Featherweight Generic Go JFP 2023
- A relational modal logic for higher-order stateful ADTs POPL 2010
- Step-indexed kripke models over recursive worlds POPL 2011
- Recursive Logical Relations for Intuitionistic Linear Logic Session Types ESOP 2026
- Big-step normalisation JFP 2009