cs-papers
Ye Olde Computer Science Scrolls!
File Explorer
- .gitignore
- A Brief History of Just-in-time - John Aycock.pdf
- A Call-by-name Lambda-calculus Machine - Jean-Louis Krivine.pdf
- A Consistent and Complete Deductive System for the Verification of Parallel Programs - Susan S. Owicki.pdf
- A Critique of Standard ML - Andrew Appel.pdf
- A Cryptographic File System for UNIX - Matt Blaze.pdf
- A Functional Correspondence Between Evaluators and Abstract Machines - Mads Sig Ager.pdf
- A Haskell to Java Virtual Machine Code Compiler - David Wakeling.pdf
- A History of Haskell: Being Lazy with Class - Paul Hudak.pdf
- A Logical Correspondence Between Natural Semantics and Abstract Machines - Robert J. Simmons.pdf
- A Method for Obtaining Digital Signatures and Public-key Cryptosystems - R. L. Rivest.pdf
- A Model for Communicating Sequential Process - Hoare.pdf
- A Nanopass Framework for Compiler Education - Dipanwita Sarkar.pdf
- A New Notation for Arrows - Ross Paterson.pdf
- A Poor Man's Concurrency Monad - Koen Claessen.pdf
- A Portable and Optimizing Back End for the SMLNJ Compiler - Lal George.pdf
- A Primer on Memory Consistency and Cache Coherence - Daniel J. Sorin.pdf
- A Principled Approach to Operating System Construction in Haskell - Thomas Hallgren.pdf
- A Rational Deconstruction of Landin's SECD Machine - Olivier Danvy.pdf
- A Runtime System - Andrew Appel.pdf
- A Standard ML Compiler - Andrew W. Appel.pdf
- A Systematic Study of Functional Language Implementations - Remi Douence.pdf
- A Theory of Type Polymorphism in Programming - Robin Milner.pdf
- A Type-based Compiler for Standard ML - Zhong Shao.pdf
- Abstract Machines for Programming Language Implementation - Stephan Diehl.pdf
- Abstract Machines, Control, and Sequents - Pierre-Louis Curien.pdf
- Abstract Models of Memory Management - Greg Morrisett.pdf
- Abstracting Abstract Machines - David Van Horn.pdf
- Adding Threads to Standard ML - Eric Cooper.pdf
- All File Systems Are Not Created Equal: On the Complexity of Crafting Crash-consistent Applications - Thanumalayan Sankaranarayana Pillai.pdf
- An Abstract Machine for an Object Calculus - Luis Lopes.pdf
- An Axiomatic Basis for Computer Programming - Hoare.pdf
- An Incremental Approach to Compiler Construction - Abdulaziz Ghuloum.pdf
- An Ode to Arrows - Hai Liu.pdf
- Applicative Programming with Effects - Conor Mcbride.pdf
- Arrows and Computation - Ross Paterson.pdf
- Asynchronous Exceptions in Haskell - Simon Marlow.pdf
- Asynchronous Signals is Standard ML - John Reppy.pdf
- Automatic SIMD Vectorization for Haskell - Leaf Petersen.pdf
- Automatically RESTful Web Applications: Marking Modular Serializable Continuations - Jay A. McCarthy.pdf
- Beautiful Concurrency - Simon Peyton Jones.pdf
- Cache and IO Efficent Functional Algorithms - Guy E. Blelloch.pdf
- Cache Efficient Functional Algorithms - Guy E. Blelloch.pdf
- Caching Considerations for Generational Garbage Collection - Paul R. Wilson.pdf
- Call-by-Name, Call-by-Value and the Lambda Calculus - Plotkin.pdf
- Can Programming Be Liberated from the von Neumann Style - John Backus.pdf
- Can Traditional Programming Bridge the Ninja Performance Gap for Parallel Computing Applications? - Nadathur Satish.pdf
- Capability Myths Demolished - Mark S Miller.pdf
- Cogent: Verifying High-Assurance File System Implementations - Sidney Amani.pdf
- Communicating Sequential Processes - C. A. R. Hoare.pdf
- Compiling a Functional Language - Luca Cardelli.pdf
- Compiling Standard ML to Java Bytecodes - Nick Benton.pdf
- Composable Memory Transactions - Tim Harris.pdf
- Composing Contracts: An Adventure in Financial Engineering - Simon Peyton Jones.pdf
- Comprehending Monads - Philip Wadler.pdf
- Computational Lambda-Calculus and Monads - Eugenio Moggi.pdf
- Concurrent ML: Design, Application and Semantics - John Reppy.pdf
- Cryptographic Security for a High-Performance Distributed File System - Roman Pletka.pdf
- Data Parallel Algorithms - W. Daniel Hillis.pdf
- Definitional Interpreters for Higher-Order Programming Languages - John C. Reynolds.pdf
- Definitional Interpreters Revisited - John C. Reynolds.pdf
- Deforestation for Higher-Order Functional Programs - Simon Marlow.pdf
- Dependent Types for Low-Level Programming - George Necula.pdf
- DieHard: Probabilistic Memory Safety for Unsafe Languages - Emery D. Berger.pdf
- Direct Style Monadic Parser Combinators for the Real World - Daan Leijen.pdf
- Distilling Abstract Machines - Beniamino Accattoli.pdf
- Efficient Compilation of Lazy Evaluation - Thomas Johnsson.pdf
- Efficient Parallel Stencil Convolution in Haskell - Ben Lippmeier.pdf
- Exploiting Vector Instructions with Generalized Stream Fusion - Geoffrey Mainland.pdf
- Finger Trees: A Simple General-purpose Data Structure - Ralf Hinze.pdf
- Flask: Staged Functional Programming for Sensor Networks - Geoffrey Mainland.pdf
- Formal Verification of a Realistic Compiler - Xavier Leroy.pdf
- Foundational Proof-Carrying Code - Andrew Appel.pdf
- From Operational Semantics to Abstract Machines - John Hannan.pdf
- From Reduction-based to Reduction-free Normalization - Olivier Danvy.pdf
- Functional Derivation of a Virtual Machine for Delimited Continuations - Kenichi Asai.pdf
- Functional Programming with Bananas, Lenses, Envelopes and Barbed Wire - Erik Meijer.pdf
- Functions As Processes - Robin Milner.pdf
- Garbage Collection Can Be Faster Than Stack Allocation - Andrew Appel.pdf
- Generalising Monads to Arrows - John Hughes.pdf
- Guiding Parallel Array Fusion with Indexed Types - Ben Lippmeier.pdf
- Halide: A Language and Compiler for Optimizing Parallelism, Locality, and Recomputation in Image Processing Pipelines - Jonathan Ragan-Kelley.pdf
- Harnessing the Multicores: Nested Data Parallelism in Haskell - Simon Peyton Jones.pdf
- Haskell on a Shared-memory Multiprocessor - Tim Harris.pdf
- Higher-order Functions for Parsing - Graham Hutton.pdf
- How to Replace Failure by a List of Successes - Philip Wadler.pdf
- Idioms Are Oblivious, Arrows Are Meticulous, Monads Are Promiscuous - Sam Lindley.pdf
- Imperative Functional Programming - Simon Peyton Jones.pdf
- Implementing Functional Languages - Simon Peyton Jones.pdf
- Implementing Typed Intermediate Languages - Zhong Shao.pdf
- Improvements to Graph Coloring Register Allocation - Preston Briggs.pdf
- Intermediate Representations in Imperative Compilers: A Survey - James Stanier.pdf
- Into the Depths of C: Elaborating the De Facto Standards - Kayvan Memarian.pdf
- IRON File Systems - Vijayan Prabhakaran.pdf
- Kawa: Compiling Dynamic Languages to the Java VM - Per Bothner.pdf
- Key Management in an Encrypting File System - Matt Blaze.pdf
- Lambda Lifting - Transforming Programs to Recursive Equations - Thomas Johnsson.pdf
- Lava: Hardware Design in Haskell - Per Bjesse.pdf
- Linear Scan Register Allocation - Massimiliano Poletto.pdf
- Linear types can change the world! - Philip Wadler.pdf
- Linux on NUMA systems - Martin Bligh.pdf
- Linux Scalability for Large NUMA Systems - Ray Bryant.pdf
- Linux Support for NUMA Hardware - Matthew Dobson.pdf
- LLVM: A Compilation Framework for Lifelong Program Analysis and Transformation - Chris Lattner.pdf
- Manticore: A Heterogeneous Parallel Language - Matthew Fluet.pdf
- Measuring the Haskell Gap - Leaf Petersen.pdf
- MinCaml: A Simple and Efficient Compiler for a Minimal Functional Language - Eijiro Sumii.pdf
- Monadic Parser Combinators - Graham Hutton.pdf
- Monadic Parsing in Haskell - Graham Hutton.pdf
- Monads for Functional Programming - Philip Wadler.pdf
- No Assembly Required: Compiling Standard ML to C - David Tarditi.pdf
- No-Longer-Foreign: Teaching an ML Compiler to Speak C Natively.pdf
- Notation as a Tool of Thought - Kenneth Iverson.pdf
- Notions of Computation and Monads - Eugenio Moggi.pdf
- On the Expressive Power of Programming Languages - Matthias Felleisen.pdf
- On the Relationship Between Formal Semantics and Static Analysis - P. N. Benton.pdf
- Operating System Multilevel Load Balancing - M. Correa.pdf
- Out of the Tar Pit - Ben Moseley and Peter Marks.pdf
- Packrat Parsing:: Simple, Powerful, Lazy, Linear Time, Functional Pearl - Bryan Ford.pdf
- papers.bib
- Parallel Concurrent ML - John Reppy.pdf
- Parallelism in Sequential Functional Languages - Guy Blelloch.pdf
- Parsec, a Fast Combinator Parser - Daan Leijen.pdf
- POSIX Abstractions in Modern Operating Systems: The Old, the New, and the Missing - Vaggelis Atlidakis.pdf
- Programming in Manticore, a Heterogenous Parallel Functional Language - Matthew Fluet.pdf
- Programming Languages: History and Future - Jean E. Sammet.pdf
- Programming with Arrows - John Hughes.pdf
- Quantum Mechanical Computers - Richard Feynman.pdf
- QuickCheck Testing for Fun and Profit - John Hughes.pdf
- QuickCheck: A Lightweight Tool for Random Testing of Haskell Programs - Koen Claessen.pdf
- README.md
- Real-World Concurrency - Bryan Cantrill.pdf
- Regular, Shape-polymorphic, Parallel Arrays in Haskell - Gabriele Keller.pdf
- Scale-out NUMA - Stanko Novakovic.pdf
- Secrets of the Glasgow Haskell Compiler Inliner - Simon Peyton Jones.pdf
- Simple Objects for Standard ML - John Reppy.pdf
- Staging Transformations for Abstract Machines - John Hannan.pdf
- Status Report: The Manticore Project - Matthew Fluet.pdf
- Synthesis: An E cient Implementation of Fundamental Operating System Services - Henry Massalin.pdf
- Tackling the Awkward Squad - Simon Peyton Jones.pdf
- Tahoe: The Least-authority Filesystem - Zooko Wilcox-O'Hearn.pdf
- Template Meta-programming for Haskell - Tim Sheard.pdf
- The Abstract Machine: A Pattern for Designing Abstract Machines - Julio Garcia-Martin.pdf
- The Blockchain as a Software Connector - Xiwei Xu.pdf
- The Categorical Abstract Machine - G. Cousineau.pdf
- The Design and Implementation of a Transparent Cryptographic File System for UNIX - Giuseppe Cattaneo.pdf
- The Discoveries of Continuations - John C. Reynolds.pdf
- The Duality of Computation - Pierre-Louis Curien.pdf
- The Essence of Dataflow Programming - Tarmo Uustalu.pdf
- The Essence of Functional Programming - Philip Wadler.pdf
- The Intel Labs Haskell Research Compiler - Hai Liu.pdf
- The Linux Scheduler: A Decade of Wasted Cores - Jean-Pierre Lozi.pdf
- The Marriage of Effects and Monads - Philip Wadler.pdf
- The Mechanical Evaluation of Expressions - Landin.pdf
- The Next 700 Programming Languages - Landin.pdf
- The Nofib Benchmark Suite of Haskell Programs - Will Partain.pdf
- The Semantics of a Simple Language for Parallel Programming - Gilles Kahn.pdf
- Theorems for Free! - Philip Wadler.pdf
- Time, Clocks, and the Ordering of Events in a Distributed System - Leslie Lamport.pdf
- Towards Formally Verifiable Resource Bounds for Real-time Embedded Systems - Kevin Hammond.pdf
- Type Classes in Haskell - Cordelia V. Hall.pdf
- Type Inference for Records in Natural Extension of ML - Didier Remy.pdf
- Unikernels: Library Operating Systems for the Cloud - Anil Madhavapeddy.pdf
- Universal Systems Language: Lessons Learned from Apollo - Margaret Hamilton.pdf
- Using Closures for Code Generation - Marc Feeley.pdf
- What's the Deal with Dependent Types? - Conor McBride.pdf
- Why Functional Programming Matters - John Hughes.pdf
# Use via CDN
jsDelivrjsDelivr serves any public GitHub repository as a CDN with zero setup. Pick a version and a file to get a ready-to-paste link and snippet.
Link
Example
Command Glossary
Commands referenced in this DOCs, explained below.
git annex
View Details ▼
git annex
Manage files with Git, without checking their contents in.
When a file is annexed, its content is moved into a key-value store, and a symlink is made that points to the content.
git annex init
Initialize a repo with Git annex:
git annex add {{path/to/file_or_directory}}
Add a file:
git annex status {{path/to/file_or_directory}}
Show the current status of a file or directory:
// repository documentation
Was this content helpful?
(0 ratings)