Parallel Reduction in Resource Lambda-Calculus
No abstract available.
Related papers
- Lambda calculus with algebraic simplification for reduction parallelization by equational reasoning ICFP 2019
- Lambda calculus with algebraic simplification for reduction parallelisation: Extended study JFP 2021
- An Algorithm for Optimal Lambda Calculus Reduction POPL 1990
- Resource-Aware Soundness for Big-Step Semantics OOPSLA 2023
- Refining Reduction in the Lambda Calculus JFP 1995
- A Non-Deterministic Call-by-Need Lambda Calculus ICFP 1998
- Annotations to Control Parallelism, Reduction Order in the Distributed Evaluation of Functional Programs TOPLAS 1984
- Residual Theory in lambda-Calculus: A Formal Development JFP 1994