Index Catalog // STAX

清除筛选

筛选: 创造者 Ramsay, Craig 资源类型 http://purl.org/coar/resource_type/c_db06

Toatie : functional hardware description with dependent types

创造者:

Ramsay, Craig

日期:

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