@inproceedings{1481851,
 author = {Licata,, Daniel R. and Harper,, Robert},
 title = {Positively dependent types},
 booktitle = {PLPV '09: Proceedings of the 3rd workshop on Programming languages meets program verification},
 year = {2008},
 isbn = {978-1-60558-330-3},
 pages = {3--14},
 location = {Savannah, GA, USA},
 doi = {http://doi.acm.org/10.1145/1481848.1481851},
 publisher = {ACM},
 address = {New York, NY, USA},
 }