A calculus for hardware description

Sungwoo Park, Hyeonseung Im. A calculus for hardware description. Journal of Functional Programming, 21(1):21-58, 2011. [doi]

Abstract

Abstract is missing.