Publication A calculus for hardware description Journal of Functional Programming. 21(1): 21-58 (2011) Authors Sungwoo Park Hyeonseung Im Tags programming-languages formal-methods DOI
