William L. Harrison, Chris Hathhorn, Gerard Allwein. A Mechanized Semantic Metalanguage for High Level Synthesis. In Niccolò Veltri, Nick Benton, Silvia Ghilezan, editors, PPDP 2021: 23rd International Symposium on Principles and Practice of Declarative Programming, Tallinn, Estonia, September 6-8, 2021. ACM, 2021. [doi]
Abstract is missing.