@InProceedings{morrisett+:recursive-closures,
  author = 	 {Greg Morrisett and Robert Harper},
  title = 	 {Typed Closure Conversion for Recursively-Defined Functions (Extended Abstract)},
  booktitle = 	 {Higher-Order Techniques in Operational Semantics},
  editor =	 {Carolyn Talcott},
  volume =	 10,
  series =	 {Electronic Notes in Theoretical Computer Science},
  year =	 1998,
  publisher =	 {Elsevier},
  note =	 {URL: \texttt{http://www.elsevier.nl/locate/entcs/volume10.html}}
}