Toggle navigation
Home
The Idea
People
Partners
Publications
Software
Contact
Archive
Posts tagged "plug"
Posts
Date Created
Categories
Revisiting Type-Driven Design of Communicating Systems
February 5, 2019
idris,hardware,substructural-type-systems,session-types,dependent-types,glasgow,plug,tdd
