A universe of binding and computation.

Daniel R. Licata, Robert Harper

Browse the full ICFP paper archive.