Browse by Journal or other publication
Number of items: 1.
Ramsay, Craig and Crockett, Louise H. and Stewart, Robert W. (2021) On applications of dependent types to parameterised digital signal processing circuits. In: 64th IEEE International Midwest Symposium on Circuits and Systems, 2021-08-09 - 2021-08-11, Michigan State University.