FreshML: Programming with Binders Made Simple (2003)

by Mark R. Shinwell , Andrew M. Pitts , Murdoch J. Gabbay
Citations:78 - 23 self