Arvind. Bluespec and Haskell. In Richard Lazarus, Assaf J. Kfoury, Jacob Beal, editors, Proceedings of the 1st annual workshop on Functional programming concepts in domain-specific languages, FPCDSL@ICFP 2013, Boston, Massachusetts, USA, September 22, 2013. pages 1-2, ACM, 2013. [doi]
@inproceedings{Arvind13-0, title = {Bluespec and Haskell}, author = {Arvind}, year = {2013}, doi = {10.1145/2505351.2508149}, url = {http://doi.acm.org/10.1145/2505351.2508149}, researchr = {https://researchr.org/publication/Arvind13-0}, cites = {0}, citedby = {0}, pages = {1-2}, booktitle = {Proceedings of the 1st annual workshop on Functional programming concepts in domain-specific languages, FPCDSL@ICFP 2013, Boston, Massachusetts, USA, September 22, 2013}, editor = {Richard Lazarus and Assaf J. Kfoury and Jacob Beal}, publisher = {ACM}, isbn = {978-1-4503-2380-2}, }