%0 Conference Paper %1 tal %A Morrisett, Greg %A Walker, David %A Crary, Karl %A Glew, Neal %B Twenty-Fifth ACM Symposium on Principles of Programming Languages %C San Diego, CA %D 1998 %K %T From System F to Typed Assembly Language

@inproceedings{tal, added-at = {2010-10-27T03:37:38.000+0200}, address = {San Diego, CA}, author = {Morrisett, Greg and Walker, David and Crary, Karl and Glew, Neal}, biburl = {https://www.bibsonomy.org/bibtex/207da97e82fe7bfb37c587102935e5453/liangzk}, booktitle = {Twenty-Fifth ACM Symposium on Principles of Programming Languages}, interhash = {6eaef5e386a42606a07cd125a092a8e4}, intrahash = {07da97e82fe7bfb37c587102935e5453}, keywords = {}, month = Jan , timestamp = {2010-10-27T03:37:39.000+0200}, title = {From System F to Typed Assembly Language }, year = 1998 }