Christiaan Baaij, Jan Kuper. Using Rewriting to Synthesize Functional Languages to Digital Circuits. In Jay McCarthy, editor, Trends in Functional Programming - 14th International Symposium, TFP 2013, Provo, UT, USA, May 14-16, 2013, Revised Selected Papers. Volume 8322 of Lecture Notes in Computer Science, pages 17-33, Springer, 2013. [doi]
Abstract is missing.