A new implementation techinque for applicative languages (1979)

by D A TURNER