Keyword:Distributed and Staged Computing

Publications
A Multi-Modal Dependent Type Theory for Representing Data Accessibility in a Network Giuseppe Primiero In:PSPL 2010. International Workshop on Proof Systems for Program Logics