Most hardware design languages have not benefited from modern ideas in programming languages. We describe aspects of BSV, a recent language for designing hardware systems that makes extensive use of Haskell types (Hindley-Milner types and type classes), functional programming (higher-order functions, monads) and atomic transactions in the form of concurrent rewrite rules. © 2013 Springer-Verlag Berlin Heidelberg.
CITATION STYLE
Nikhil, R. S. (2013). Types, functional programming and atomic transactions in hardware design. Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 8000, 418–431. https://doi.org/10.1007/978-3-642-41660-6_22
Mendeley helps you to discover research relevant for your work.