Daniel R. Licata, Robert Harper. Positively dependent types. In Thorsten Altenkirch, Todd D. Millstein, editors, Proceedings of the 3rd ACM Workshop Programming Languages meets Program Verification, PLPV 2009, Savannah, GA, USA, January 20, 2009. pages 3-14, ACM, 2009. [doi]
@inproceedings{LicataH09-0,
title = {Positively dependent types},
author = {Daniel R. Licata and Robert Harper},
year = {2009},
doi = {10.1145/1481848.1481851},
url = {http://doi.acm.org/10.1145/1481848.1481851},
researchr = {https://researchr.org/publication/LicataH09-0},
cites = {0},
citedby = {0},
pages = {3-14},
booktitle = {Proceedings of the 3rd ACM Workshop Programming Languages meets Program Verification, PLPV 2009, Savannah, GA, USA, January 20, 2009},
editor = {Thorsten Altenkirch and Todd D. Millstein},
publisher = {ACM},
isbn = {978-1-60558-330-3},
}