Posts tagged "border-patrol"

Posts Date Created Categories
Formalising the (Sub-)Structural Aspects of SystemVerilog March 8, 2021 idris,soc,hardware,substructural-type-systems,dependent-types,border-patrol,tdd,plas
A Framework for Resource Dependent EDSLs in a Dependently Typed Language November 16, 2020 idris,dependent-types,border-patrol,tdvcs,ecoop
Building Resource-Dependent EDSLs in a Dependently-Typed Language June 19, 2020 idris,dependent-types,border-patrol,tdvcs,msp101,talk
A Framework for Resource Dependent EDSLs in a Dependently Typed Language May 28, 2020 idris,dependent-types,border-patrol,tdvcs,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 10, 2019 idris,dependent-types,border-patrol,ecoop
A Typing Discipline for Hardware Interfaces. April 1, 2019 idris,dependent-types,border-patrol,paper,ecoop
Value-Dependent Session Design in a Dependently-Typed Language. March 7, 2019 idris,dependent-types,session-types,paper,places,tdvcs,border-patrol
Revisiting Type-Driven Design of Communicating Systems February 5, 2019 idris,soc,hardware,substructural-type-systems,dependent-types,border-patrol,tdd,systems
Handling Side-Effects using Resource Dependent Algebraic Effects February 5, 2019 idris,soc,hardware,substructural-type-systems,dependent-types,border-patrol,tdd,systems
Type-Driven Development of SoC Architectures. December 11, 2018 idris,soc,hardware,substructural-type-systems,dependent-types,border-patrol,tdd,systems
Type-Driven Development of SoC Architectures. October 17, 2018 idris,soc,hardware,substructural-type-systems,dependent-types,border-patrol,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
TyDe Denied July 2, 2018 idris,tdvcs,border-patrol,paper,tyde,rejection
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
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
Designing Hardware using Session Types and Dependent Types---A First Look October 11, 2017 idris,session-types,border-patrol,tdd,spls