@InProceedings{PittsAM:frepbm,
  author =	 {M. R. Shinwell and A. M. Pitts and M. J. Gabbay},
  title =	 {Fresh{ML}: Programming with Binders Made Simple},
  booktitle =	 {Eighth {ACM SIGPLAN} International Conference on
                  Functional Programming ({ICFP} 2003), Uppsala,
                  Sweden},
  pages =	 {263--274},
  year =	 2003,
  month =	 aug,
  publisher =	 {ACM Press}
}