Arity Raiser and its Use in Program Specialization
No abstract available.
DOI 10.1007/3-540-52592-0_73
Related papers
- Practical Variable-Arity Polymorphism ESOP 2009
- Higher-Order Arity Raising ICFP 1998
- Reduction monads and their signatures POPL 2020
- Formally proving a compiler transformation safe Haskell 2015
- Weakly Acyclic Diagrams: A Data Structure for Infinite-State Symbolic Verification TACAS 2025
- Kinds are calling conventions ICFP 2020
- Proving hypersafety compositionally OOPSLA 2022
- Gabriel-Ulmer duality and Lawvere theories enriched over a general base JFP 2009