%0 Conference Paper %1 conf/cpp/Moura16 %A de Moura, Leonardo Mendonça %B CPP %D 2016 %E Avigad, Jeremy %E Chlipala, Adam %I ACM %K dblp %P 2 %T Dependent type practice (invited talk). %U http://dblp.uni-trier.de/db/conf/cpp/cpp2016.html#Moura16 %@ 978-1-4503-4127-1

@inproceedings{conf/cpp/Moura16, added-at = {2018-11-06T00:00:00.000+0100}, author = {de Moura, Leonardo Mendonça}, biburl = {https://www.bibsonomy.org/bibtex/2914f72267382cdc8992b46a7f47c0c7a/dblp}, booktitle = {CPP}, crossref = {conf/cpp/2016}, editor = {Avigad, Jeremy and Chlipala, Adam}, ee = {https://doi.org/10.1145/2854065.2858809}, interhash = {12d503a028195fbfa76b24751e1eb82c}, intrahash = {914f72267382cdc8992b46a7f47c0c7a}, isbn = {978-1-4503-4127-1}, keywords = {dblp}, pages = 2, publisher = {ACM}, timestamp = {2018-11-07T15:09:39.000+0100}, title = {Dependent type practice (invited talk).}, url = {http://dblp.uni-trier.de/db/conf/cpp/cpp2016.html#Moura16}, year = 2016 }