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. (19)Ainsworth, Sam (8)Rice, Andrew (7)Mantiuk, Rafal (4)Pitts, Andrew (4)... View More Keywords cubical sets (4)homotopy type theory (4)LLVM (4)Android (3)cubical type theory (3)... View More Affiliation Cambridge (39)Department of Computer Science and Technology (38)UAS Academic Division (32)Project Area, Networks and Initiatives (23)Department of Engineering (1)... View More Type Dataset (54)Software (4)Date published 2016 (5)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 "Typal Heterogeneous Equality Types"

Pitts, Andrew
Research data supporting "Software Prefetching for Indirect Memory Accesses: A Microarchitectural Perspective"

Ainsworth, Sam; Jones, Timothy M.
Research data supporting "The Guardian Council: Parallel Programmable Hardware Security"

Ainsworth, Sam; Jones, Timothy M.
Research data supporting "HALO: Post-Link Heap-Layout Optimisation"

Jones, Timothy M.; Savage, Joe

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