Generic Reasoning of the Locally Nameless Representation
Abstract elided by the publisher.
Related papers
- Locally Nameless Sets POPL 2023
- An anti-locally-nameless approach to formalizing quantifiers CPP 2021
- Intrinsically typed compilation with nameless labels POPL 2021
- Nameless, painless ICFP 2011
- EMTST: Engineering the Meta-theory of Session Types TACAS 2020
- 2-Functoriality of Initial Semantics, and Applications ICFP 2025
- Efficient Representations and Abstractions for Quantifying and Exploiting Data Reference Locality PLDI 2001
- Retargetable Microcode Synthesis TOPLAS 1987