Rishiyur S. Nikhil. Types, Functional Programming and Atomic Transactions in Hardware Design. In Val Tannen, Limsoon Wong, Leonid Libkin, Wenfei Fan, Wang Chiew Tan, Michael P. Fourman, editors, In Search of Elegance in the Theory and Practice of Computation - Essays Dedicated to Peter Buneman. Volume 8000 of Lecture Notes in Computer Science, pages 418-431, Springer, 2013. [doi]
Abstract is missing.