Index Catalog // STAX

Start Over

Filtering by: Contributor Stewart, Bob

1. Toatie : functional hardware description with dependent types

Creator:: Ramsay, Craig
Date:: 2023
Funder:: Engineering and Physical Sciences Research Council
Department, School or Faculty:: Software Defined Radio Research Laboratory, Department of Electronic and Electrical Engineering, and Faculty of Engineering