Posts |
Date Created |
Categories |
A Framework for Resource Dependent EDSLs in a Dependently Typed Language |
November 16, 2020 |
idris,dependent-types,border-patrol,paper,ecoop |
A Framework for Resource Dependent EDSLs in a Dependently Typed Language |
May 28, 2020 |
idris,dependent-types,border-patrol,paper,ecoop |
LightClick---A Linear Typed Orchestration Language for System-On-A-Chip Designs |
November 5, 2019 |
idris,soc,hardware,substructural-type-systems,dependent-types,border-patrol,tdd,systems |
A Typing Discipline for Hardware Interfaces. |
July 12, 2019 |
idris,dependent-types,border-patrol,ecoop |
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 |
Designing Hardware using Session Types and Dependent Types---A First Look |
October 11, 2017 |
glasgow,idris,session-types,border-patrol,tdd,spls,talks |