Data for: "On Applications of Dependent Types to Parameterised Digital Signal Processing Circuits"

Craig Ramsay (Creator)
Louise Crockett (Supervisor)
Robert Stewart (Supervisor)

Electronic And Electrical Engineering

Dataset

1 Conference contribution book

1 results

Filter

2021
On applications of dependent types to parameterised digital signal processing circuits
Ramsay, C., Crockett, L. H. & Stewart, R. W., 13 Sept 2021, 2021 IEEE International Midwest Symposium on Circuits and Systems, MWSCAS 2021 - Proceedings. Piscataway, NJ: IEEE, p. 787-791 5 p. (IEEE International Midwest Symposium on Circuits and Systems (MWSCAS)).
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution book

Open Access
File
1 Citation (Scopus)

64 Downloads (Pure)