Craig R. Ramsay, Louise H. Crockett, Robert W. Stewart. On Applications of Dependent Types to Parameterised Digital Signal Processing Circuits. In 64th IEEE International Midwest Symposium on Circuits and Systems, MWSCAS 2021, Lansing, MI, USA, August 9-11, 2021. pages 787-791, IEEE, 2021. [doi]
Abstract is missing.