A linear space translation of functional programs to Turner combinators
From MaRDI portal
Publication:1837177
DOI10.1016/0020-0190(82)90014-XzbMath0507.03004OpenAlexW2073612321MaRDI QIDQ1837177
Publication date: 1982
Published in: Information Processing Letters (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/0020-0190(82)90014-x
Related Items
The BC-chain method for representing combinators in linear space ⋮ Variable abstraction in O(n log n) space ⋮ A fast algorithm for translating combinator expressions with BC-chains ⋮ Functional programming with combinators ⋮ Some improvements to Turner's algorithm for bracket abstraction ⋮ On graph rewriting, reduction, and evaluation in the presence of cycles ⋮ A set of combinators for abstraction in linear space ⋮ Translation of Turner combinators in O(n log n) space ⋮ Complexity of the combinator reduction machine
Cites Work
