%0 Conference Paper %1 journals/entcs/MorrisettH97 %A Morrisett, J. Gregory %A Harper, Robert %B HOOTS %D 1997 %E Gordon, Andrew D. %E Pitts, Andrew M. %E Talcott, Carolyn L. %I Elsevier %K dblp %P 230-241 %T Typed Closure Conversion for Recursively-Defined Functions. %U http://dblp.uni-trier.de/db/journals/entcs/entcs10.html#MorrisettH97 %V 10

@inproceedings{journals/entcs/MorrisettH97, added-at = {2022-11-11T00:00:00.000+0100}, author = {Morrisett, J. Gregory and Harper, Robert}, biburl = {https://www.bibsonomy.org/bibtex/2934116d90a8c941a87787af9aaff883c/dblp}, booktitle = {HOOTS}, crossref = {conf/hoots/1997}, editor = {Gordon, Andrew D. and Pitts, Andrew M. and Talcott, Carolyn L.}, ee = {https://doi.org/10.1016/S1571-0661(05)80702-9}, interhash = {9b7d318b32a7d8b4a510ae8f29f1950d}, intrahash = {934116d90a8c941a87787af9aaff883c}, keywords = {dblp}, pages = {230-241}, publisher = {Elsevier}, series = {Electronic Notes in Theoretical Computer Science}, timestamp = {2024-04-10T00:13:43.000+0200}, title = {Typed Closure Conversion for Recursively-Defined Functions.}, url = {http://dblp.uni-trier.de/db/journals/entcs/entcs10.html#MorrisettH97}, volume = 10, year = 1997 }