| Posts | Date Created | Categories |
|---|---|---|
| A Typing Discipline for Hardware Interfaces. | April 1, 2019 | idris,dependent-types,glasgow,paper,ecoop |
| Value-Dependent Session Design in a Dependently-Typed Language. | March 7, 2019 | idris,dependent-types,session-types,paper,places,tdvcs,glasgow |
| Revisiting Type-Driven Design of Communicating Systems | February 5, 2019 | idris,hardware,substructural-type-systems,session-types,dependent-types,glasgow,plug,tdd |
| Type-Driven Development of SoC Architectures. | December 11, 2018 | idris,soc,hardware,substructural-type-systems,dependent-types,glasgow,tdd,systems |
| Type-Driven Development of SoC Architectures. | October 17, 2018 | idris,soc,hardware,substructural-type-systems,dependent-types,glasgow,tdd,spls |
| 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 |
| Summer Quarterly Meeting | June 27, 2018 | news,website,heriot-watt,imperial,glasgow |
| 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 |
| Project Visit Xilinx Edinburgh | March 28, 2018 | news,website,visit,heriot-watt,glasgow |
| 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 |
| Winter Quaterly Meeting | February 19, 2018 | news,website,heriot-watt,imperial,glasgow |
| Designing Hardware using Session Types and Dependent Types---A First Look | October 11, 2017 | glasgow,idris,session-types,border-patrol,tdd,spls,talks |
| Project Visit Xilinx Dublin | October 3, 2017 | news,website,visit,heriot-watt,glasgow,imperial |
| Autumn Quaterly Meeting | September 29, 2017 | news,website,heriot-watt,imperial,glasgow |
| Border Patrol':' Improving Hardware Security through Type-Aware Systems Design | September 12, 2017 | idris,glasgow,talks,arm-summit |
| Technical Kick-Off Launch. | June 12, 2017 | news,website,heriot-watt,imperial,glasgow |