"On Introducing Higher Order Functions in ABEL."

Bjørn Kristoffersen, Ole-Johan Dahl (1998)
a service of Schloss Dagstuhl - Leibniz Center for Informatics