1. Can programming be liberated from the von Neumann style?
2. ‘An applicative compiler for a parallel machine’, Proc ACM Symposium on Compiler Construction, 1982.
3. ‘Yacc — yet another compiler compiler’, TR 32, Bell labs, 1975.
4. A new implementation technique for applicative languages
5. J. Darlington, P. Henderson and D. Turner (eds), Functional Programming and its Applications, CUP, 1982.