Posts

Posted on 2024-05-04

The Last Step

Posted on 2020-05-26

idris dependent-types tdd musing

Decidably Uninformative

Posted on 2020-05-04

idris dependent-types tdd musing

Mutual Avoidance

Posted on 2020-05-04

idris dependent-types tdd musing

Well-Typed Expressions lead to Well-Typed Well-Scoped Programs

Posted on 2019-12-06

idris dependent-types tdd musing

Hutton's Razor(s)

Posted on 2019-12-04

idris dependent-types tdd musing

On Interfaces and Dependent Types

Posted on 2019-11-20

idris dependent-types tdd musing

LightClick---A Linear Typed Orchestration Language for System-On-A-Chip Designs

Posted on 2019-11-05

idris soc hardware substructural-type-systems dependent-types border-patrol tdd systems

A Typing Discipline for Hardware Interfaces.

Posted on 2019-07-10

idris dependent-types border-patrol ecoop

Provisioning My First Artifact.

Posted on 2019-04-12

paper advice repoducible artifact

Writing a Rebuttal. Hints & Tips

Posted on 2019-04-02