Stephanie Weirich, Dimitrios Vytiniotis, Simon L. Peyton Jones, Steve Zdancewic
Generative type abstraction and type-level computation
POPL, 2011.
@inproceedings{POPL-2011-WeirichVJZ,
author = "Stephanie Weirich and Dimitrios Vytiniotis and Simon L. Peyton Jones and Steve Zdancewic",
booktitle = "{Proceedings of the 38th Symposium on Principles of Programming Languages}",
doi = "10.1145/1926385.1926411",
editor = "Thomas Ball and Mooly Sagiv",
isbn = "978-1-4503-0490-0",
pages = "227--240",
publisher = "{ACM}",
title = "{Generative type abstraction and type-level computation}",
year = 2011,
}
Tags: