Thomas Bourgeat, Clément Pit-Claudel, Adam Chlipala, Arvind. The essence of Bluespec: a core language for rule-based hardware design. In Alastair F. Donaldson, Emina Torlak, editors, Proceedings of the 41st ACM SIGPLAN International Conference on Programming Language Design and Implementation, PLDI 2020, London, UK, June 15-20, 2020. pages 243-257, ACM, 2020. [doi]
Abstract is missing.