J. Gregory Morrisett, David Walker, Karl Crary, Neal Glew
From System F to Typed Assembly Language
POPL, 1998.
@inproceedings{POPL-1998-MorrisettWCG,
author = "J. Gregory Morrisett and David Walker and Karl Crary and Neal Glew",
booktitle = "{Proceedings of the 25th Symposium on Principles of Programming Languages}",
doi = "10.1145/268946.268954",
editor = "David B. MacQueen and Luca Cardelli",
isbn = "0-89791-979-3",
pages = "85--97",
publisher = "{ACM}",
title = "{From System F to Typed Assembly Language}",
year = 1998,
}
Tags: