%0 Conference Paper %1 conf/lfmtp/Crary09 %A Crary, Karl %B LFMTP %D 2009 %E Cheney, James %E Felty, Amy P. %I ACM %K dblp %P 21-29 %T A syntactic account of singleton types via hereditary substitution. %U http://dblp.uni-trier.de/db/conf/lfmtp/lfmtp2009.html#Crary09 %@ 978-1-60558-529-1

@inproceedings{conf/lfmtp/Crary09, added-at = {2018-11-06T00:00:00.000+0100}, author = {Crary, Karl}, biburl = {https://www.bibsonomy.org/bibtex/2420fcbc53d674eae74d5a152584dba6c/dblp}, booktitle = {LFMTP}, crossref = {conf/lfmtp/2009}, editor = {Cheney, James and Felty, Amy P.}, ee = {https://doi.org/10.1145/1577824.1577829}, interhash = {eb31b7c694773f2e3ffabac5b342819c}, intrahash = {420fcbc53d674eae74d5a152584dba6c}, isbn = {978-1-60558-529-1}, keywords = {dblp}, pages = {21-29}, publisher = {ACM}, timestamp = {2018-11-07T16:27:27.000+0100}, title = {A syntactic account of singleton types via hereditary substitution.}, url = {http://dblp.uni-trier.de/db/conf/lfmtp/lfmtp2009.html#Crary09}, year = 2009 }