Idris

Off The Beaten Track

Posted on 2016-11-11

idris tdvcs paper obt rejection

SPLS-Type-Driven Design of Communicating Systems using Idris

Posted on 2016-11-09

idris effects sessions tdvcs spls

Effectful Channel Management

Posted on 2015-08-28

idris effects sessions tdvcs

Dependent Types and Goal-Oriented DSMLs

Posted on 2015-07-28

idris phd paper gpce rejection

Tips for using Effects in Idris

Posted on 2015-07-28

idris effects tips

Posted on 2015-07-05

Dependent Lists

Posted on 2015-07-05

idris adt tricks

Embedded Domain Specific Type Systems for Declarative EDSls

Posted on 2015-07-04

Types and Abstract Interpretation

Posted on 2015-07-04

An Effectful Logger: Part One

Posted on 0001-01-01

idris effects tips