Combinator reduction on a parallel G-machine (1986)

by E Nocker, R Plasmeyer