("Grail") General ReCursive AppliCative and AlgorithmiC Language. FP with polyadiCCombinators. "Graal: A FunCtional Programming System with UnCurryfied Combinators and its ReduCtion MaChine", P. Bellot in ESOP 86, G. Goos ed, LNCS 213, Springer 1986.