%0 Conference Paper %1 conf/ssgip/WeirichC10 %A Weirich, Stephanie %A Casinghino, Chris %B SSGIP %D 2010 %E Gibbons, Jeremy %I Springer %K dblp %P 217-258 %T Generic Programming with Dependent Types. %U http://dblp.uni-trier.de/db/conf/ssgip/ssgip2010.html#WeirichC10 %V 7470 %@ 978-3-642-32201-3

@inproceedings{conf/ssgip/WeirichC10, added-at = {2019-10-19T00:00:00.000+0200}, author = {Weirich, Stephanie and Casinghino, Chris}, biburl = {https://www.bibsonomy.org/bibtex/2c90e626cba18c9bb10d94e7ce6a7f6eb/dblp}, booktitle = {SSGIP}, crossref = {conf/ssgip/2010}, editor = {Gibbons, Jeremy}, ee = {https://doi.org/10.1007/978-3-642-32202-0_5}, interhash = {0da7d7408139df0e49d79e26d2436074}, intrahash = {c90e626cba18c9bb10d94e7ce6a7f6eb}, isbn = {978-3-642-32201-3}, keywords = {dblp}, pages = {217-258}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-10-22T15:40:25.000+0200}, title = {Generic Programming with Dependent Types.}, url = {http://dblp.uni-trier.de/db/conf/ssgip/ssgip2010.html#WeirichC10}, volume = 7470, year = 2010 }