FreshML: programming with binders made simple.

Mark R. Shinwell, Andrew M. Pitts, Murdoch Gabbay

Browse the full ICFP paper archive.