On Applications of Dependent Types to Parameterised Digital Signal Processing CircuitsDate: May 25, 2021Conference presentation for the paper accepted at MWSCAS 2021.📊 SlidesShare on X (formerly Twitter) Facebook LinkedIn Previous Next
