The J-Machine: Functional Programming with Combinators

[1]  Jacek Gibert,et al.  Functional Programming with Combinators , 1987, J. Symb. Comput..