Higher-Order Intensional Type Analysis
No abstract available.
Related papers
- Higher-Order Functional Languages and Intensional Logic JFP 1999
- Unembedding domain-specific languages Haskell 2009
- Type-safe cast JFP 2004
- Trillium: Higher-Order Concurrent and Distributed Separation Logic for Intensional Refinement POPL 2024
- Type-safe cast: functional pearl ICFP 2000
- Encoding Intensional Type Analysis ESOP 2001
- Compiling Polymorphism Using Intensional Type Analysis POPL 1995
- Fully reflexive intensional type analysis ICFP 2000