%0 Conference Paper %1 conf/icfp/Christiansen13 %A Christiansen, David Raymond %B WGP@ICFP %D 2013 %E Carette, Jacques %E Willcock, Jeremiah %I ACM %K dblp %P 25-34 %T Dependent type providers. %U http://dblp.uni-trier.de/db/conf/icfp/wgp2013.html#Christiansen13 %@ 978-1-4503-2389-5

@inproceedings{conf/icfp/Christiansen13, added-at = {2018-11-06T00:00:00.000+0100}, author = {Christiansen, David Raymond}, biburl = {https://www.bibsonomy.org/bibtex/2786f82d8838734d98f7f2f86aca39533/dblp}, booktitle = {WGP@ICFP}, crossref = {conf/icfp/2013wgp}, editor = {Carette, Jacques and Willcock, Jeremiah}, ee = {https://doi.org/10.1145/2502488.2502495}, interhash = {9194b8164f85a565e6f43378ee429430}, intrahash = {786f82d8838734d98f7f2f86aca39533}, isbn = {978-1-4503-2389-5}, keywords = {dblp}, pages = {25-34}, publisher = {ACM}, timestamp = {2018-11-07T13:10:16.000+0100}, title = {Dependent type providers.}, url = {http://dblp.uni-trier.de/db/conf/icfp/wgp2013.html#Christiansen13}, year = 2013 }