@inproceedings{synth:functional,
 author = {Zhai, Kuangya and Townsend, Richard and Lairmore, Lianne and Kim, Martha A. and Edwards, Stephen A.},
 title = {Hardware Synthesis from a Recursive Functional Language},
 booktitle = {Proceedings of the 10th International Conference on Hardware/Software Codesign and System Synthesis},
 series = {CODES '15},
 year = {2015},
 isbn = {978-1-4673-8321-9},
 location = {Amsterdam, The Netherlands},
 pages = {83--93},
 numpages = {11},
 acmid = {2830850},
 publisher = {IEEE Press},
 address = {Piscataway, NJ, USA},
 keywords = {functional hardware, high-level synthesis, recursion},
}