Compilation of Head and Strong Reduction
Abstract elided by the publisher.
Related papers
- A Strong Distillery APLAS 2015
- A compiled implementation of strong reduction ICFP 2002
- A Non-Deterministic Call-by-Need Lambda Calculus ICFP 1998
- Factorization and Normalization, Essentially APLAS 2019
- Are We Heading towards a Dynamic Language Winter? (Invited Talk) DLS 2023
- A Correctness Proof for Combinator Reduction with Cycles TOPLAS 1990
- Virgil: objects on the head of a pin OOPSLA 2006
- Linearization of the lambda-calculus and its relation with intersection type systems JFP 2004