Sign in
FreshML: programming with binders made simple.
Andrew M. Pitts
Murdoch James Gabbay
Mark R. Shinwell
Published in:
SIGPLAN Notices (2003)
Keyphrases
</>