Toggle navigation
Home
The Idea
People
Partners
Publications
Software
Contact
Archive
Posts tagged "tdvcs"
Posts
Date Created
Categories
Value-Dependent Session Design in a Dependently-Typed Language.
March 7, 2019
idris,dependent-types,session-types,paper,places,tdvcs,glasgow