Research Data - Computer Science and Technology

Research Data - Computer Science and Technology

Apollo Home
School of Technology
Faculty of Computer Science and Technology
Research Data - Computer Science and Technology

Apollo Home
School of Technology
Faculty of Computer Science and Technology
Research Data - Computer Science and Technology

Advanced search

JavaScript is disabled for your browser. Some features of this site may not work without it.

Browse

All of Apollo Communities & Collections Authors Titles Keywords Type This Collection Authors Titles Keywords Type

Discover

Author Jones, Timothy M. (7)Rice, Andrew (7)Jones, Timothy (5)Ainsworth, Sam (4)Contrastin, Mistral (3)... View More Keywords cubical sets (4)homotopy type theory (4)Android (3)cubical type theory (3)LLVM (3)... View More Affiliation Cambridge (28)Department of Computer Science and Technology (27)UAS Academic Division (21)Project Area, Networks and Inititatives (10)Project Area, Networks and Initiatives (5)... View More Type Dataset (44)Software (4)Date published 2016 (5)2015 (7)

Statistics

View Usage Statistics

Research Data - Computer Science and Technology

Browse by

Authors Titles Keywords Type

Search within this collection:

About this collection

Recent Submissions

Code supporting "Snapdoc: Authenticated snapshots with history privacy in peer-to-peer collaborative editing"

Kollmann, Stephan Alexander
CAM3D

Anis, Marwa; Baltrusaitis, Tadas; Robinson, Peter
Research data supporting "Interleaving anomalies in collaborative text editors"

Kleppmann, Martin
Detecting Incorrect Build Rules - Artifact

Rice, Andrew; Licker, N

If you believe that any material held in Apollo infringes copyright please follow the guidance in our 'Notice and Take Down' policy and we will remove the work from the repository and investigate your claim.

© 2019 University of Cambridge.

Terms of Use | Accessibility | Privacy | Admin | Login

Information provided by support@repository.cam.ac.uk