Toggle navigation
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
Phd
Towards Type-Driven Assurance of Communicating Systems
Posted on 2025-02-07
phd
jarss
Dependent Types and Goal-Oriented DSMLs
Posted on 2015-07-28
idris
phd
paper
gpce
rejection