Posts tagged "dependent-types"

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
Faking Linear Variable Usage January 25, 2021 idris,dependent-types,tdd,musing
Synthesised or Checked? January 22, 2021 idris,dependent-types,tdd,musing
A Framework for Resource Dependent EDSLs in a Dependently Typed Language November 16, 2020 idris,dependent-types,border-patrol,tdvcs,ecoop
Defining Intrinsically Typed Data Structures August 4, 2020 idris,dependent-types,tdd,musing
Programming with Holes July 9, 2020 idris,dependent-types,tdd,musing
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
The Last Step May 26, 2020 idris,dependent-types,tdd,musing
Mutual Avoidance May 4, 2020 idris,dependent-types,tdd,musing
Decidably Uninformative May 4, 2020 idris,dependent-types,tdd,musing
Well-Typed Expressions lead to Well-Typed Well-Scoped Programs December 6, 2019 idris,dependent-types,tdd,musing
Hutton's Razor(s) December 4, 2019 idris,dependent-types,tdd,musing
On Interfaces and Dependent Types November 20, 2019 idris,dependent-types,tdd,musing
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
Computing Types with Idris \& Linking Specifications with Implementations. February 12, 2019 idris,dependent-types
Representing Interfaces when you have no Interfaces. February 9, 2019 idris,dependent-types,interfaces
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
A Short Note on Collecting Dependently Typed Values August 7, 2018 idris,dependent-types,paper
Type-Systems for Describing System-on-a-Chip Architectures. July 12, 2018 idris,soc,hardware,linear-types,dependent-types,border-patrol,tdd,pl-interest
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