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 Finished

1 results

Filter

Finished
Doctoral Training Partnership (DTP 2016-2017 University of Strathclyde) | Ramsay, Craig
Crockett, L. (Principal Investigator), Stewart, R. (Co-investigator) & Ramsay, C. (Research Co-investigator)
EPSRC (Engineering and Physical Sciences Research Council)
1/10/17 → 18/01/24
Project: Research Studentship - Internally Allocated