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

Try out our new advanced search!

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

About

Apollo Governance and policies How to deposit Repository preservation Repository terms of use Notice and Takedown Repository service level

Browse

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

Discover

Author Jones, Timothy M (18)Ainsworth, Sam (14)Pitts, Andrew (10)Mantiuk, Rafal (9)Jones, Timothy M. (6)... View More Keywords dependent type theory (5)cubical sets (4)fault tolerance (4)homotopy type theory (4)LLVM (4)... View More Affiliation Cambridge (66)Department of Computer Science and Technology (65)UAS Academic Division (65)Project Area, Networks and Initiatives (36)Department of Computer Science And Technology (6)... View More Type Dataset (85)Software (6)Date published 2016 (4)2015 (6)

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

Agda code accompanying the paper "Locally Nameless Sets"

Pitts, Andrew
METRECC Africa 2020 data

Sentance, Sue; Tshukudu, Ethel; Quille, Keith
Prototype implementation of Peritext, a CRDT for collaborative rich text editing

Litt, Geoffrey; Lim, Sarah; Kleppmann, Martin; van Hardenberg, Peter
Research data supporting "Quantifying the Semantic Gap Between Serial and Parallel Programming"

Zhang, Xiaochun; Jones, Timothy M

Apollo

About us
Contact us
Governance and policies
Notice and takedown

Cambridge University Library

Accessibility
Privacy
Copyright

Tools

Admin
Login

© 2023 University of Cambridge.