Patrick Bellot GRAAL: A Functional Programming System with Uncurryfied Combinators and its Reduction Machine. 82-98 1986 conf/esop/1986 ESOP db/conf/esop/esop86.html#Bellot86 http://dx.doi.org/10.1007/3-540-16442-1_6