Toggle navigation
Home
The Idea
People
Partners
Publications
Software
Contact
Archive
Posts tagged "msp101"
Posts
Date Created
Categories
A Type-System for describing the Structural Topology of System-on-a-Chip Architectures.
February 28, 2018
idris,soc,hardware,linear-types,dependent-types,border-patrol,tdd,msp101,glasgow,talks
