Rejection

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