GRAAL: A Functional Programming System with Uncurryfied Combinators and its Reduction Machine
Abstract elided by the publisher.
Related papers
- An Empirical Study on Deoptimization in the Graal Compiler ECOOP 2017
- Cache Behavior of Combinator Graph Reduction TOPLAS 1992
- Efficient compilation of lazy evaluation PLDI 1984
- Java-to-JavaScript translation via structured control flow reconstruction of compiler IR DLS 2015
- A Lightweight Method for Generating Multi-Tier JIT Compilation Virtual Machine in a Meta-Tracing Compiler Framework ECOOP 2025
- A Fresh Look at Combinator Graph Reduction PLDI 1989
- Semantics-Directed Machine Architecture POPL 1982
- Painless programming combining reduction and search: design principles for embedding decision procedures in high-level languages ICFP 2012