Jan Kuper. Hardware Specification with C \varvecλ aSH. In Viktória Zsók, Zoltán Horváth, Lehel Csató, editors, Central European Functional Programming School - 5th Summer School, CEFP 2013, Cluj-Napoca, Romania, July 8-20, 2013, Revised Selected Papers. Volume 8606 of Lecture Notes in Computer Science, pages 336-380, Springer, 2013. [doi]
Abstract is missing.