"Task-oriented programming in a pure functional language."

Rinus Plasmeijer et al. (2012)
a service of Schloss Dagstuhl - Leibniz Center for Informatics