Inproceedings,
From System F to Typed Assembly Language.
J. Morrisett, D. Walker, K. Crary, and N. Glew.POPL, page 85-97. ACM, (1998)
Meta data
- BibTeX key
- conf/popl/MorrisettWCG98
- entry type
- inproceedings
- booktitle
- POPL
- year
- 1998
- pages
- 85-97
- publisher
- ACM
- crossref
- conf/popl/1998
- ee
- https://doi.org/10.1145/268946.268954
- isbn
- 0-89791-979-3
- url
- http://dblp.uni-trier.de/db/conf/popl/popl98.html#MorrisettWCG98
Tags
Users
Comments and Reviewsshow / hide
Cite this publication
More citation styles
- please select -%0 Conference Paper
%1 conf/popl/MorrisettWCG98
%A Morrisett, J. Gregory
%A Walker, David
%A Crary, Karl
%A Glew, Neal
%B POPL
%D 1998
%E MacQueen, David B.
%E Cardelli, Luca
%I ACM
%K dblp
%P 85-97
%T From System F to Typed Assembly Language.
%U http://dblp.uni-trier.de/db/conf/popl/popl98.html#MorrisettWCG98
%@ 0-89791-979-3
@inproceedings{conf/popl/MorrisettWCG98,
added-at = {2024-04-08T00:00:00.000+0200},
author = {Morrisett, J. Gregory and Walker, David and Crary, Karl and Glew, Neal},
biburl = {https://www.bibsonomy.org/bibtex/2c8e48643033dd82b27ba353c90c54d49/dblp},
booktitle = {POPL},
crossref = {conf/popl/1998},
editor = {MacQueen, David B. and Cardelli, Luca},
ee = {https://doi.org/10.1145/268946.268954},
interhash = {6abd6ae468ee360445383cbe87fa2a03},
intrahash = {c8e48643033dd82b27ba353c90c54d49},
isbn = {0-89791-979-3},
keywords = {dblp},
pages = {85-97},
publisher = {ACM},
timestamp = {2024-04-12T14:44:41.000+0200},
title = {From System F to Typed Assembly Language.},
url = {http://dblp.uni-trier.de/db/conf/popl/popl98.html#MorrisettWCG98},
year = 1998
}