Toggle navigation
Home
The Idea
People
Partners
Publications
Software
Contact
Archive
Posts tagged "stacs-fp"
Posts
Date Created
Categories
A Type-System for describing System-on-a-Chip Architectures.
April 5, 2018
idris,soc,hardware,linear-types,dependent-types,border-patrol,tdd,stacs-fp,glasgow,talks
