On the Limitations of Ordered Representations of Functions
Abstract elided by the publisher.
Related papers
- Hobbits for Haskell: a library for higher-order encodings in functional programming languages Haskell 2011
- Beyond Trees: Calculating Graph-Based Compilers (Functional Pearl) ICFP 2024
- Lambda the Ultimate SSA: Optimizing Functional Programs in SSA CGO 2022
- A representation theorem for second-order functionals JFP 2015
- A graph-based higher-order intermediate representation CGO 2015
- Typed self-representation PLDI 2009
- Analyzing binding extent in 3CPS ICFP 2022
- Putting Weak Memory in Order via a Promising Intermediate Representation PLDI 2023