Unified Syntax with Iso-types
No abstract available.
Related papers
- Pure iso-type systems JFP 2019
- Qunity: A Unified Language for Quantum and Classical Computing POPL 2023
- Full Iso-Recursive Types OOPSLA 2024
- A unified treatment of syntax with binders JFP 2012
- On Subtyping-Relation Completeness, with an Application to Iso-Recursive Types TOPLAS 2017
- QuickSub: Efficient Iso-Recursive Subtyping POPL 2025
- Mutually Iso-Recursive Subtyping OOPSLA 2023
- Revisiting iso-recursive subtyping OOPSLA 2020