Jan de Muijnck-Hughes
  • Blog
    Posts Tags
  • Research
    About Studying with Me Working with Me
  • Activities
    Talks Service CS886 -- ASbD Teaching
  • People
    Current Alumni
  • Publications
    Theses Papers

Posts

 Posted on 2024-05-04

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

idris  tricks 

Dependent Lists

 Posted on 2015-07-05

idris  adt  tricks 

Embedded Domain Specific Type Systems for Declarative EDSls

 Posted on 2015-07-04

idris 

Types and Abstract Interpretation

 Posted on 2015-07-04

idris  formal 

An Effectful Logger: Part One

 Posted on 0001-01-01

idris  effects  tips 
  • ← Newer Posts

Jan de Muijnck-Hughes  • © 2024  •  Jan de Muijnck-Hughes

Hugo v0.128.0 powered  •  Theme Beautiful Hugo adapted from Beautiful Jekyll