Hardware synthesis from a recursive functional language. - Kuangya Zhai; Richard Townsend; Lianne Lairmore; Martha A. Kim; Stephen A. Edwards (CODES+ISSS, 2015)