Variable abstraction in O(n log n) space
- 16 March 1987
- journal article
- Published by Elsevier in Information Processing Letters
- Vol. 24 (5) , 343-349
- https://doi.org/10.1016/0020-0190(87)90161-x
Abstract
No abstract availableThis publication has 4 references indexed in Scilit:
- Translation of Turner Combinators in O(n log n) spaceInformation Processing Letters, 1985
- 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