A linear space translation of functional programs to Turner combinators
- 23 July 1982
- journal article
- Published by Elsevier in Information Processing Letters
- Vol. 14 (5) , 201-204
- https://doi.org/10.1016/0020-0190(82)90014-x
Abstract
No abstract availableThis publication has 2 references indexed in Scilit:
- A new implementation technique for applicative languagesSoftware: Practice and Experience, 1979
- An Abstraction Algorithm for Combinatory LogicThe Journal of Symbolic Logic, 1976