Shrinking lambda expressions in linear time

DOI10.1017/S0956796897002839zbMATH Open0893.68021MaRDI QIDQ4376489FDOQ4376489

Authors: Andrew W. Appel, Trevor Jim 

Publication date: 3 August 1998

Published in: Journal of Functional Programming (Search for Journal in Brave)

Recommendations

• scientific article; zbMATH DE number 1953273
• scientific article; zbMATH DE number 1522992
• Refining reduction in the lambda calculus
• Transformations and reduction strategies for typed lambda expressions
• scientific article; zbMATH DE number 1547348
• Linear-time self-interpretation of the pure lambda calculus
• LINEAR TIME IN HYPERSEQUENT FRAMEWORK
• scientific article; zbMATH DE number 1953288
• Demonstrating Lambda Calculus Reduction

zbMATH Keywords

functional-language compilers

Mathematics Subject Classification ID

Theory of programming languages (68N15) Theory of compilers and interpreters (68N20)

Cited In (6)

• Shrinking Reductions in SML.NET
• A higher-order strategy for eliminating common subexpressions
• Scoped dynamic rewrite rules
• Repetitive reduction patterns in lambda calculus with \texttt{letrec} (work in progress)
• A survey of strategies in rule-based program transformation systems
• A type- and scope-safe universe of syntaxes with binding: their semantics and proofs

This page was built for publication: Shrinking lambda expressions in linear time

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4376489)