Joe Gibbs Politz, Hannah Quay-de la Vallee, Shriram Krishnamurthi
Progressive types
Onward, 2012.
@inproceedings{Onward-2012-PolitzVK,
author = "Joe Gibbs Politz and Hannah Quay-de la Vallee and Shriram Krishnamurthi",
booktitle = "{Proceedings of the Second Symposium on New Ideas in Programming and Reflections on Software}",
doi = "10.1145/2384592.2384599",
editor = "Gary T. Leavens and Jonathan Edwards",
isbn = "978-1-4503-1562-3",
pages = "55--66",
publisher = "{ACM}",
title = "{Progressive types}",
year = 2012,
}