Per Bjesse, Koen Claessen, Mary Sheeran, Satnam Singh. Lava: Hardware Design in Haskell. In Matthias Felleisen, Paul Hudak, Christian Queinnec, editors, Proceedings of the third ACM SIGPLAN international conference on Functional programming. pages 174-184, ACM, Baltimore, Maryland, United States, 1998. [doi]
@inproceedings{BjesseCSS98,
title = {Lava: Hardware Design in Haskell},
author = {Per Bjesse and Koen Claessen and Mary Sheeran and Satnam Singh},
year = {1998},
doi = {10.1145/289423.289440},
url = {http://doi.acm.org/10.1145/289423.289440},
tags = {Haskell, design},
researchr = {https://researchr.org/publication/BjesseCSS98},
cites = {0},
citedby = {0},
pages = {174-184},
booktitle = {Proceedings of the third ACM SIGPLAN international conference on Functional programming},
editor = {Matthias Felleisen and Paul Hudak and Christian Queinnec},
address = {Baltimore, Maryland, United States},
publisher = {ACM},
}