Computing (FOLDOC) dictionary
Jump to user comments
("Grail") General Recursive Applicative and Algorithmic
Language. FP with polyadic combinators. "Graal: A Functional
Programming System with Uncurryfied Combinators and its
Reduction Machine", P. Bellot in ESOP 86, G. Goos ed, LNCS
213, Springer 1986.