Safe operators: Brackets closed forever. Optimizing optimal \(\lambda\)-calculus implementations

DOI10.1007/S002000050083zbMath0901.03017OpenAlexW3003421349MaRDI QIDQ1392661

Juliusz Chroboczek, Andrea Asperti

Publication date: 26 November 1998

Published in: Applicable Algebra in Engineering, Communication and Computing (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s002000050083

zbMATH Keywords

functional programminglambda calculussharingrewriting rulesoptimal reductions

Mathematics Subject Classification ID

Logic in computer science (03B70) Grammars and rewriting systems (68Q42) General topics in the theory of software (68N01) Combinatory logic and lambda calculus (03B40)

Related Items (1)

Abstract machines, optimal reduction, and streams

This page was built for publication: Safe operators: Brackets closed forever. Optimizing optimal \(\lambda\)-calculus implementations