%0 Conference Paper %1 conf/icfp/DiehlS13 %A Diehl, Larry %A Sheard, Tim %B DTP@ICFP %D 2013 %E Weirich, Stephanie %I ACM %K dblp %P 49-60 %T Leveling up dependent types: generic programming over a predicative hierarchy of universes. %U http://dblp.uni-trier.de/db/conf/icfp/dtp2013.html#DiehlS13 %@ 978-1-4503-2384-0

@inproceedings{conf/icfp/DiehlS13, added-at = {2018-11-06T00:00:00.000+0100}, author = {Diehl, Larry and Sheard, Tim}, biburl = {https://www.bibsonomy.org/bibtex/23e26ef8d5517642b7af0b7d4916ef2da/dblp}, booktitle = {DTP@ICFP}, crossref = {conf/icfp/2013dtp}, editor = {Weirich, Stephanie}, ee = {https://doi.org/10.1145/2502409.2502414}, interhash = {cf1b0d49d66c6aefb2b5a5efee367e65}, intrahash = {3e26ef8d5517642b7af0b7d4916ef2da}, isbn = {978-1-4503-2384-0}, keywords = {dblp}, pages = {49-60}, publisher = {ACM}, timestamp = {2018-11-07T13:10:11.000+0100}, title = {Leveling up dependent types: generic programming over a predicative hierarchy of universes.}, url = {http://dblp.uni-trier.de/db/conf/icfp/dtp2013.html#DiehlS13}, year = 2013 }