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

Session-Types


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

 Posted on 2019-03-07

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

Designing Hardware using Session Types and Dependent Types---A First Look

 Posted on 2017-10-11

idris  session-types  border-patrol  tdd  spls 

 • © 2025  •  Jan de Muijnck-Hughes

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