Andrew W. Appel, Paul-André Melliès, Christopher D. Richards, Jérôme Vouillon
A very modal model of a modern, major, general type system
POPL, 2007.
@inproceedings{POPL-2007-AppelMRV,
author = "Andrew W. Appel and Paul-André Melliès and Christopher D. Richards and Jérôme Vouillon",
booktitle = "{Proceedings of the 34th Symposium on Principles of Programming Languages}",
doi = "10.1145/1190216.1190235",
editor = "Martin Hofmann and Matthias Felleisen",
isbn = "1-59593-575-4",
pages = "109--122",
publisher = "{ACM}",
title = "{A very modal model of a modern, major, general type system}",
year = 2007,
}
Tags: