@inproceedings{lh09unibind,
  author = 	 {Daniel R. Licata and Robert Harper},
  title = 	 {A Universe of Binding and Computation},
  booktitle =    "{ACM} {SIGPLAN} {I}nternational {C}onference on {F}unctional {P}rogramming",
  year = 	 {2009},
}