Encoding Intensional Type Analysis
Abstract elided by the publisher.
Related papers
- Higher-Order Intensional Type Analysis ESOP 2002
- Compiling Polymorphism Using Intensional Type Analysis POPL 1995
- Unembedding domain-specific languages Haskell 2009
- Fully reflexive intensional type analysis ICFP 2000
- Intensional analysis of quantified types TOPLAS 2003
- Intensional Functions OOPSLA 2024
- Layered Modal Type Theory - Where Meta-programming Meets Intensional Analysis ESOP 2024
- A Layered Approach to Intensional Analysis in Type Theory TOPLAS 2024