Index Catalog // STAX

Start Over

Filtering by: Contributor Engineering and Physical Sciences Research Council Creator Ramsay, Craig Funder Engineering and Physical Sciences Research Council

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

Toatie : functional hardware description with dependent types

Limit your search

Type

Resource type

Creator

Contributor

Funder

Department, School or Faculty

Date

Search Constraints

Search Results

Limit your search