GRAAL: A Functional Programming System with Uncurryfied Combinators and its Reduction Machine.

Patrick Bellot

Browse the full ESOP paper archive.