%0 Conference Paper %1 conf/dsd/GerardsBKK11 %A Gerards, Marco %A Baaij, Christiaan %A Kuper, Jan %A Kooijman, Matthijs %B DSD %D 2011 %I IEEE Computer Society %K dblp %P 495-502 %T Higher-Order Abstraction in Hardware Descriptions with C?aSH. %U http://dblp.uni-trier.de/db/conf/dsd/dsd2011.html#GerardsBKK11 %@ 978-1-4577-1048-3

@inproceedings{conf/dsd/GerardsBKK11, added-at = {2015-01-16T00:00:00.000+0100}, author = {Gerards, Marco and Baaij, Christiaan and Kuper, Jan and Kooijman, Matthijs}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/2197f6ce85a8bd6cbed1799565016e39c/dblp}, booktitle = {DSD}, crossref = {conf/dsd/2011}, ee = {http://doi.ieeecomputersociety.org/10.1109/DSD.2011.69}, interhash = {30a818f7645cdd550a242488459e785b}, intrahash = {197f6ce85a8bd6cbed1799565016e39c}, isbn = {978-1-4577-1048-3}, keywords = {dblp}, pages = {495-502}, publisher = {IEEE Computer Society}, timestamp = {2016-02-02T12:38:33.000+0100}, title = {Higher-Order Abstraction in Hardware Descriptions with C?aSH.}, url = {http://dblp.uni-trier.de/db/conf/dsd/dsd2011.html#GerardsBKK11}, year = 2011 }