Skip to Content
STAX
Toggle navigation
STAX
Login
Home
About
Help
Contact
Search STAX
Go
Search Constraints
Start Over
Filtering by:
Contributor
Stewart, Bob
Remove constraint Contributor: Stewart, Bob
Creator
Ramsay, Craig
Remove constraint Creator: Ramsay, Craig
1
entry found
Sort by relevance
relevance
date uploaded ▼
date uploaded ▲
date modified ▼
date modified ▲
Number of results to display per page
10 per page
10
per page
20
per page
50
per page
100
per page
View results as:
List
Gallery
Slideshow
Search Results
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
Toggle facets
Limit your search
Type
Thesis
1
Resource type
Doctoral thesis
1
Creator
Ramsay, Craig
[remove]
1
Contributor
Crockett, Louise
1
Engineering and Physical Sciences Research Council
1
Stewart, Bob
[remove]
1
Funder
Engineering and Physical Sciences Research Council
1
Department, School or Faculty
Department of Electronic and Electrical Engineering
1
Faculty of Engineering
1
Software Defined Radio Research Laboratory
1
Date
2023
1