%0 Conference Paper %1 conf/cpp/BelangerMP13 %A Bélanger, Olivier Savary %A Monnier, Stefan %A Pientka, Brigitte %B CPP %D 2013 %E Gonthier, Georges %E Norrish, Michael %I Springer %K dblp %P 243-258 %T Programming Type-Safe Transformations Using Higher-Order Abstract Syntax. %U http://dblp.uni-trier.de/db/conf/cpp/cpp2013.html#BelangerMP13 %V 8307 %@ 978-3-319-03544-4

@inproceedings{conf/cpp/BelangerMP13, added-at = {2017-05-25T00:00:00.000+0200}, author = {Bélanger, Olivier Savary and Monnier, Stefan and Pientka, Brigitte}, biburl = {https://www.bibsonomy.org/bibtex/238320242a8aeea02fac39bd309c14ddf/dblp}, booktitle = {CPP}, crossref = {conf/cpp/2013}, editor = {Gonthier, Georges and Norrish, Michael}, ee = {https://doi.org/10.1007/978-3-319-03545-1_16}, interhash = {516f4ee8ebb3ab5b0123fb34571ee714}, intrahash = {38320242a8aeea02fac39bd309c14ddf}, isbn = {978-3-319-03544-4}, keywords = {dblp}, pages = {243-258}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T14:31:13.000+0200}, title = {Programming Type-Safe Transformations Using Higher-Order Abstract Syntax.}, url = {http://dblp.uni-trier.de/db/conf/cpp/cpp2013.html#BelangerMP13}, volume = 8307, year = 2013 }