| Posts | Date Created | Categories |
|---|---|---|
| Type-Systems for Describing System-on-a-Chip Architectures. | July 12, 2018 | idris,soc,hardware,linear-types,dependent-types,border-patrol,tdd,pl-interest,glasgow,talks |
| 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 |
| 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 |