Jérôme Vouillon, Paul-André Melliès
Semantic types: a fresh look at the ideal model for types
POPL, 2004.
@inproceedings{POPL-2004-VouillonM,
author = "Jérôme Vouillon and Paul-André Melliès",
booktitle = "{Proceedings of the 31st Symposium on Principles of Programming Languages}",
doi = "10.1145/964001.964006",
editor = "Neil D. Jones and Xavier Leroy",
isbn = "1-58113-729-X",
pages = "52--63",
publisher = "{ACM}",
title = "{Semantic types: a fresh look at the ideal model for types}",
year = 2004,
}