"FreshML: programming with binders made simple."

Mark R. Shinwell, Andrew M. Pitts, Murdoch James Gabbay (2003)
a service of Schloss Dagstuhl - Leibniz Center for Informatics