Translation of Turner Combinators in O(n log n) space
- 15 February 1985
- journal article
- Published by Elsevier in Information Processing Letters
- Vol. 20 (2) , 71-74
- https://doi.org/10.1016/0020-0190(85)90066-3
Abstract
No abstract availableKeywords
This publication has 4 references indexed in Scilit:
- A linear space translation of functional programs to Turner combinatorsInformation Processing Letters, 1982
- Another algorithm for bracket abstractionThe Journal of Symbolic Logic, 1979
- A new implementation technique for applicative languagesSoftware: Practice and Experience, 1979
- An Abstraction Algorithm for Combinatory LogicThe Journal of Symbolic Logic, 1976