Kuangya Zhai, Richard Townsend, Lianne Lairmore, Martha A. Kim, Stephen A. Edwards. Hardware synthesis from a recursive functional language. In Gabriela Nicolescu, Andreas Gerstlauer, editors, 2015 International Conference on Hardware/Software Codesign and System Synthesis, CODES+ISSS 2015, Amsterdam, Netherlands, October 4-9, 2015. pages 83-93, IEEE, 2015. [doi]
Abstract is missing.