On applications of dependent types to parameterised digital signal processing circuits

Craig Ramsay, Louise H. Crockett, Robert W. Stewart

Electronic And Electrical Engineering

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution book

10 Downloads (Pure)

1 results
- Title
- Start date(ascending)

Data for: "On Applications of Dependent Types to Parameterised Digital Signal Processing Circuits"
Ramsay, C. (Creator), Crockett, L. H. (Supervisor) & Stewart, R. (Supervisor), University of Strathclyde, 19 Apr 2021
DOI: 10.15129/db040cb9-9e48-4823-8616-cbc0ace1b6cd, https://github.com/cramsay/idris_dsp_circuits
Dataset