A safe approach to parallel combinator reduction (extended abstract)

Publisher Website

1 January 1986

book chapter
Published by Springer Nature

p. 99-110
https://doi.org/10.1007/3-540-16442-1_7

Abstract

No abstract available

Keywords

This publication has 3 references indexed in Scilit:

Efficient combinator code
Computer Languages, 1985
Cobweb — A combinator reduction architecture
Published by Springer Nature ,1985
Another algorithm for bracket abstraction
The Journal of Symbolic Logic, 1979