Browse by Journal or other publication
Jump to: 2021
Number of items: 1.
2021
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.