IsoLATE: A Type System for Self-recursion
Abstract elided by the publisher.
Related papers
- Type-safe, self inspecting code Haskell 2004
- Self type constructors OOPSLA 2009
- Towards Strong Normalization for Dependent Object Types (DOT) ECOOP 2017
- Typed self-evaluation via intensional type functions POPL 2017
- Recursive Structures for Standard ML ICFP 2001
- Iso-Recursive Multiparty Sessions and their Automated Verification ESOP 2025
- Language-Integrated Recursive Queries ECOOP 2026
- Polymorphic bytecode: compositional compilation for Java-like languages POPL 2005