The BC-chain method for representing combinators in linear space
- 1 June 1985
- journal article
- Published by Springer Nature in New Generation Computing
- Vol. 3 (2) , 131-144
- https://doi.org/10.1007/bf03037065
Abstract
No abstract availableKeywords
This publication has 6 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
- Super-combinators a new implementation method for applicative languagesPublished by Association for Computing Machinery (ACM) ,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