Paper

Provisioning My First Artifact.

Posted on 2019-04-12

paper advice repoducible artifact

Writing a Rebuttal. Hints & Tips

Posted on 2019-04-02

A Typing Discipline for Hardware Interfaces.

Posted on 2019-04-01

idris dependent-types border-patrol paper ecoop

Value-Dependent Session Design in a Dependently-Typed Language.

Posted on 2019-03-07

idris dependent-types session-types paper places tdvcs border-patrol

A Short Note on Collecting Dependently Typed Values

Posted on 2018-08-07

idris dependent-types paper

TyDe Denied

Posted on 2018-07-02

idris tdvcs border-patrol paper tyde rejection

ICFP Rejection

Posted on 2017-03-28

idris tdvcs paper icfp rejection

Off The Beaten Track

Posted on 2016-11-11

idris tdvcs paper obt rejection

Dependent Types and Goal-Oriented DSMLs

Posted on 2015-07-28

idris phd paper gpce rejection