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

spls


Type-Driven Development of SoC Architectures.

 Posted on 2018-10-17

idris  soc  hardware  substructural-type-systems  dependent-types  border-patrol  tdd  spls 

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

 Posted on 2017-10-11

idris  session-types  border-patrol  tdd  spls 

SPLS-Type-Driven Design of Communicating Systems using Idris

 Posted on 2016-11-09

idris  effects  sessions  tdvcs  spls 

Jan de Muijnck-Hughes  • © 2023  •  Jan de Muijnck-Hughes

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