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. (23)Ainsworth, Sam (12)Pitts, Andrew (7)Rice, Andrew (7)Mantiuk, Rafal (5)... View More Keywords cubical sets (4)homotopy type theory (4)LLVM (4)type theory (4)Android (3)... View More Affiliation Cambridge (50)Department of Computer Science and Technology (49)UAS Academic Division (49)Project Area, Networks and Initiatives (28)Department of Engineering (1)... View More Type Dataset (64)Software (4)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

Research data supporting "Duplo: A Framework for OCaml Post-Link Optimisation"

Licker, Nandor; Jones, Timothy M.
Research data supporting "Termination detection for fine-grained message-passing architectures"

Naylor, Matthew
Research data supporting "Prefetching in Functional Languages"

Ainsworth, Sam; Jones, Timothy M.
Research data supporting "MuonTrap: Preventing Cross-Domain Spectre-Like Attacks by Capturing Speculative State"

Ainsworth, Sam; Jones, Timothy M.

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.

© 2020 University of Cambridge.

Terms of Use | Accessibility | Privacy | Admin | Login

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