A Git annex repository of papers
Clone or download
kyleam and ocharles README.md: Correct the 'git config' command (#11)
* README.md: Correct the 'git config' command

Git expects a space, not '=', between the key and value, and clone
will name the remote "origin" by default.

Fixes #10.

* README.md: Recommend annex-readonly instead of annex-sync

With remote.origin.annex-sync=false, `git annex sync` will ignore
`origin`.  With remote.origin.annex-readonly=false (originally
suggested by gh-6), that command will still fetch and merge updates,
but it won't try to push.

Re: #10
Latest commit 40d87fd Jul 16, 2018
Permalink
Failed to load latest commit information.
Lecture Notes git-annex automatic sync Jun 9, 2014
A Brief Introduction to VRML.pdf git-annex automatic sync Jun 3, 2014
A Comprehensive Study of Convergent and Commutative Replicated Data Types.pdf git-annex automatic sync Aug 31, 2014
A Concurrency Monad Based on Constructor Primitives.pdf Yum, papers Mar 20, 2014
A Direct Algorithm for Type Inference in the Rank 2 Fragment of the Second-Order Lambda-Calculus.pdf git-annex automatic sync Aug 4, 2014
A Generalization of the Trie Data Structure.pdf git-annex automatic sync May 18, 2015
A Generic Abstract Syntax Model for Embedded Languages.pdf Yum, papers Mar 20, 2014
A Generic Deriving Mechanism for Haskell.pdf git-annex automatic sync Jun 8, 2014
A Gentle Introduction to Precomputed Radiance Transfer.pdf git-annex automatic sync Jun 5, 2015
A Judgemental Reconstruction of Modal Logic.pdf git-annex automatic sync Apr 18, 2015
A Lattice Theoretical Approach to Determistic Parallelism with Shared State.pdf git-annex automatic sync Aug 31, 2014
A Library for Light-Weight Information-Flow Security in Haskell.pdf git-annex automatic sync Sep 15, 2014
A Library for Secure Multi-threaded Information Flow in Haskell .pdf git-annex automatic sync Sep 15, 2014
A Model of Type Theory in Cubical Sets.pdf git-annex automatic sync Aug 31, 2014
A New Notation for Arrows.pdf Yum, papers Mar 20, 2014
A Notation for Comonads.pdf git-annex automatic sync Jul 22, 2014
A Poor Man's Concurrency Monad.pdf git-annex automatic sync Jun 3, 2014
A Primer on Separation Logic (and Automatic Program Verification and Analysis).pdf git-annex automatic sync Jul 16, 2014
A Relational Framework for Higher-Order Shape Analysis.pdf ICFP 2014 papers Aug 31, 2014
A Seamless, Client-Centric Programming Model for Type Safe Web Applications.pdf Haskell Symposium 2014 papers Aug 31, 2014
A Simple Semantics for Haskell Overloading.pdf Haskell Symposium 2014 papers Aug 31, 2014
A Survey of Graphical Languages for Monoidal Categories.pdf git-annex automatic sync Apr 9, 2015
A Term Calculus for Intuitionistic Linear Logic.pdf git-annex automatic sync Oct 29, 2013
A Theory of Gradual Effect Systems.pdf ICFP 2014 papers Aug 31, 2014
A Theory of Information-Flow Labels.pdf git-annex automatic sync Sep 15, 2014
A Tutorial Implementation of a Dependently Typed Lambda Calculus.pdf git-annex automatic sync Dec 31, 2014
A Verified Information-Flow Architecture.pdf git-annex automatic sync Sep 15, 2014
A censorship-resistant, privacy-enhancing and fully-decentralized name system.pdf git-annex in desktop May 6, 2016
A dependently typed assembly language.pdf git-annex in ollie@io:~/papers Dec 2, 2015
A mathematicians lament.pdf git-annex automatic sync Jun 18, 2015
A new constrained Delaunay tetrahedralization algorithm.pdf git-annex automatic sync Jun 5, 2015
A short cut to deforestation.pdf git-annex in ollie@io:~/papers Aug 22, 2015
A tutorial on the universality and expressiveness of fold.pdf git-annex in ollie@io:~/papers Dec 14, 2015
APLlicative programming with Naperian functors.pdf git-annex in ollie@nixos:~/papers Jun 30, 2017
Abstract Syntax Graphs for Domain Specific Languages.pdf git-annex automatic sync Oct 14, 2014
Accelerating Haskell Array Codes with Multicore GPUs.pdf git-annex automatic sync Jun 5, 2015
Adam: A method for stochastic optimization.pdf git-annex in desktop Feb 20, 2017
Adaptively Sampled Distance Fields: A General Representation of Shape for Computer Graphics.pdf git-annex automatic sync Nov 12, 2014
Algebraic Effects and Effect Handlers for Idioms and Arrows.pdf WGP 2014 Aug 31, 2014
Algebraic Structures for Transitive Closures.pdf git-annex automatic sync Jun 18, 2015
Algebraic operations and generic effects.pdf git-annex in ollie@io:~/papers Apr 27, 2016
All Concepts are Kan Extensions: Kan Extensions as the Most Universal of the Universal Constructions.pdf git-annex automatic sync Apr 23, 2015
An Elementary Illustrated Introduction to Simplical Sets.pdf git-annex automatic sync Jul 1, 2014
An Introduction to Braid Theory.pdf git-annex automatic sync Jun 22, 2014
An Introduction to n-Categories.pdf git-annex automatic sync Jun 8, 2014
An efficient context-free parsing algorithm.pdf git-annex in ollie@io:~/papers Mar 18, 2016
An introduction to MCMC for machine learning.pdf git-annex in ollie@io:~/papers Mar 18, 2016
Anti-aliased Euclidean Distance Transform.pdf git-annex automatic sync Oct 17, 2014
Applicative Programming with Effects.pdf git-annex automatic sync Jul 24, 2014
Applicative bidirectional programming with lenses.pdf git-annex in ollie@io:~/papers Dec 2, 2015
Approximating Dynamic Global Illumination in Image Space.pdf git-annex automatic sync Dec 31, 2014
Arity-Generic Datatype-Generic Programming.pdf git-annex automatic sync Jul 29, 2014
Arrows are Strong Monads.pdf Yum, papers Mar 20, 2014
Arrows, Like Monads, Are Monoids.pdf git-annex automatic sync Jun 9, 2014
Asymptotic Improvement of Computations Over Free Monads.pdf git-annex automatic sync Jun 6, 2014
Background Reading on Hoare Logic.pdf git-annex automatic sync Mar 28, 2015
Backtracking, Interleaving, and Terminating Monad Transformers.pdf git-annex automatic sync Jun 6, 2014
Batch normalization: Accelerating deep network training by reducing internal covariate shift.pdf git-annex in desktop Feb 20, 2017
Bayesian approaches to randomized trials.pdf git-annex in desktop Feb 20, 2017
Bayesian estimation supercedes the t test.pdf git-annex in ollie@io:~/papers Mar 18, 2016
Behavioral Software Contracts.pdf ICFP 2014 papers Aug 31, 2014
Better with fewer bits: Improving the performance of cardinality estimation of large data streams.pdf git-annex in ollie@nixos:~/papers Jun 30, 2017
Bidirectionalization for Free! (Functional Pearl).pdf git-annex automatic sync Jul 24, 2014
Binary Space Partitioning Trees and Polygon Removal in Real Time 3D Rendering.pdf git-annex in ollie@io:~/papers Apr 27, 2016
Binders Unbound.pdf git-annex automatic sync Aug 15, 2014
Bitcoin: A Peer-to-Peer Electronic Cash System.pdf Yum, papers Mar 20, 2014
Boxes go Bananas: Encoding Higher-order Abstract Syntax with Parametric Polymorphism.pdf git-annex automatic sync Oct 30, 2014
Build your own probability monads.pdf git-annex in desktop Apr 19, 2017
Building Embedded Systems with Embedded DSLs.pdf ICFP 2014 papers Aug 31, 2014
Building Secure systems with LIO (Demo).pdf Haskell Symposium 2014 papers Aug 31, 2014
Building an orthonormal basis, revisited.pdf git-annex in desktop Apr 19, 2017
Bunching for Regions and Locations.pdf git-annex automatic sync Aug 31, 2014
CNN features off-the-Shelf: An astounding baseline for recognition.pdf git-annex in desktop Feb 20, 2017
Cache Oblivious Algorithms.pdf git-annex automatic sync Jun 7, 2014
Call Arity.pdf git-annex automatic sync Aug 31, 2014
Can programming be liberated from the von Neumann style? A functional style and its algebra of programs.pdf git-annex in desktop Apr 19, 2017
Cascaded Light Propagation Volumes for Real-Time Indirect Illumination.pdf git-annex automatic sync Oct 13, 2014
Categorical Semantics for Arrows.pdf git-annex automatic sync Jun 9, 2014
Categories for Programmers: An introduction to the mathematics behind modern mathematical functional programming.pdf git-annex in ollie@nixos:~/papers Jul 24, 2017
Causal Commutative Arrows and their Optimizations.pdf git-annex automatic sync Sep 3, 2014
Causality for Free! Parametricity Implies Causality for Functional Reactive Programming.pdf git-annex automatic sync Sep 29, 2014
Cheap (But Functional) Threads.pdf Yum, papers Mar 20, 2014
Closed Freyd- and Kappa-Categories.pdf git-annex automatic sync Jun 8, 2014
Closed Type Families with Overlapping Equations (Extendend).pdf git-annex automatic sync Aug 29, 2014
Clowns to the Left of Me, Jokers to the Right: Dissecting Data Structures.pdf git-annex automatic sync Jun 18, 2014
Clustered Deferred and Forward Shading.pdf git-annex automatic sync Jun 5, 2015
Coalgebras as Types Determined by their Elimination Rules.pdf git-annex automatic sync Apr 21, 2015
Codata and Comonads in Haskell.pdf git-annex automatic sync Jul 22, 2014
Coeffects: A Calculus of Context-Dependent Computation.pdf ICFP 2014 papers Aug 31, 2014
Coeffects: Unified Static Analysis of Context-Dependence.pdf Yum, papers Mar 20, 2014
Collision Detection and Response for Computer Animation.pdf git-annex automatic sync Oct 30, 2014
Combinator Parsers: From Toys to Tools.pdf git-annex automatic sync Jul 27, 2014
Combinator Parsing: A Short Tutorial.pdf git-annex automatic sync Oct 29, 2013
Combinators for Impure yet Hygenic Code Generation.pdf git-annex automatic sync Mar 28, 2015
Combining Events and Threads for Scalable Network Services: Implementation and Evaluation of Monadic, Application-Level Concurrency Primitives.pdf Yum, papers Mar 20, 2014
Combining Monads.pdf Yum, papers Mar 20, 2014
Combining deep and shallow embedding for EDSL.pdf git-annex in desktop Apr 19, 2017
Combining effects: sum and tensor.pdf git-annex in ollie@io:~/papers Apr 27, 2016
Commutative monads as a theory of distributions.pdf git-annex in desktop Dec 15, 2016
Comonadic Notions of Computation.pdf git-annex automatic sync Jul 22, 2014
Comonads for Grad Students.pdf git-annex automatic sync Jul 22, 2014
Compiling with Continuations, Continued.pdf git-annex automatic sync Sep 9, 2014
Compiling without continuations.pdf git-annex in ollie@nixos:~/papers Mar 19, 2017
Composing Monads.pdf git-annex in ollie@io:~/papers Aug 13, 2015
Composing and Decomposing Data Types: A Closed Type Families Implementation of Data Types a la Carte.pdf WGP 2014 Aug 31, 2014
Composite Replicated Data Types.pdf git-annex automatic sync Jun 12, 2015
Compositional Data Types.pdf git-annex automatic sync Jul 16, 2014
Compositional Semantics for Composable Continuations.pdf ICFP 2014 papers Aug 31, 2014
Compositional type checking for Hindley-Milner type systems with ad-hoc polymorphism.pdf git-annex in ollie@io:~/papers Aug 22, 2015
Comprehending Monads.pdf git-annex automatic sync Jun 3, 2014
Compressed bloom filters.pdf git-annex in desktop Apr 19, 2017
Computational Lambda-Calculus and Monads.pdf Yum, papers Mar 20, 2014
Concurrent NetCore: From Policies to Pipelines.pdf ICFP 2014 papers Aug 31, 2014
Conflict-free Replicated Data Types.pdf git-annex automatic sync Aug 31, 2014
Cons Should Not Evaluate its Arguments.pdf git-annex automatic sync Jun 8, 2014
Constructing Applicative Functors.pdf git-annex automatic sync Jul 24, 2014
Constructive Solid Geometry for Polyhedral Objects.pdf git-annex automatic sync May 18, 2015
Constructive Solid Geometry for Triangulated Ployhedra.pdf git-annex automatic sync May 18, 2015
Containers: Constructing Strictly Positive Types.pdf git-annex automatic sync Mar 30, 2015
Continuation-Based Program Transformation Strategies.pdf git-annex in ollie@io:~/papers Aug 22, 2015
Convolution Shadow Maps.pdf git-annex automatic sync Dec 10, 2014
Copatterns: Programming infinite structures by observations.pdf git-annex in desktop Mar 20, 2017
Data Types à la Carte.pdf git-annex automatic sync Jun 6, 2014
Datatype-Generic Programming.pdf git-annex automatic sync Jun 18, 2014
DeWall: A fast divide & conquer Delaunay triangulation algorithm in Ed.pdf git-annex automatic sync Jun 5, 2015
Dead Code Elimination Through Dependent Types.pdf git-annex automatic sync Jul 31, 2014
Decaf: A deep convolutional activation feature for generic visual recognition.pdf git-annex in desktop Feb 20, 2017
Deep neural networks are easily fooled: High confidence predictions for unrecognizable images.pdf git-annex in desktop Feb 20, 2017
Delimited Continuations in Haskell.pdf git-annex automatic sync Jun 3, 2014
Delving deep into rectifiers: Surpassing human-level performance on imagenet classification.pdf git-annex in desktop Feb 20, 2017
Denotational Design with Type Class Morphisms.pdf Yum, papers Mar 20, 2014
Dependent Types at Work.pdf git-annex automatic sync Sep 6, 2014
Dependent Types in Haskell: Theory and Practice.pdf git-annex in ollie@nixos:~/papers Dec 22, 2017
Dependently Typed Programming in Agda.pdf git-annex automatic sync Sep 6, 2014
Dependently Typed Programming with Singletons.pdf git-annex automatic sync Jun 9, 2014
Deriving backtracking monad transformers.pdf git-annex in ollie@io:~/papers Apr 27, 2016
Deterministic, Error-Correcting Combinator Parsers.pdf Yum, papers Mar 20, 2014
Distance Transforms of Sampled Functions.pdf git-annex automatic sync Oct 17, 2014
Distilling the knowledge in a neural network.pdf git-annex in desktop Feb 20, 2017
Distributors at Work.pdf git-annex automatic sync Aug 31, 2014
Distributors on a tensor category.pdf git-annex in desktop Feb 9, 2017
Domain Specific Embedded Compilers.pdf Yum, papers Mar 20, 2014
Doubles for monoidal categories.pdf git-annex in desktop Feb 9, 2017
Dropout: A simple way to prevent neural networks from overfitting.pdf git-annex in desktop Feb 20, 2017
Dual Intuitionistic Linear Logic.pdf git-annex automatic sync Oct 29, 2013
Dynamic Typing as Staged Type Inference.pdf Yum, papers Mar 20, 2014
Effect Handlers in Scope.pdf Haskell Symposium 2014 papers Aug 31, 2014
Efficient Parallel and Incremental Parsing of Practical Context-Free Languages.pdf git-annex automatic sync Jun 12, 2015
Efficient and Compositional Higher-Order Streams.pdf git-annex automatic sync Nov 12, 2014
Efficient communication and collection with compact normal forms.pdf git-annex in ollie@nixos:~/papers Feb 3, 2017
Elementary Strong Functional Programming.pdf git-annex automatic sync Sep 4, 2014
Eliminating Dependent Pattern Matching.pdf git-annex automatic sync Sep 7, 2014
Embedding Effect Systems in Haskell.pdf Haskell Symposium 2014 papers Aug 31, 2014
Embedding Foreign Code.pdf git-annex automatic sync Jun 5, 2015
Encapsulating Nondeterminacy in an Abstract Data Type with Determinant Semantics.pdf git-annex automatic sync May 18, 2015
Encoding Information Flow in Haskell.pdf git-annex automatic sync Sep 15, 2014
End-to-end Multilevel Hybrid Information Flow Control.pdf git-annex automatic sync Sep 15, 2014
Engineering Proof by Reflection in Agda.pdf git-annex automatic sync Sep 6, 2014
Enhanced sphere tracing.pdf git-annex in ollie@io:~/papers Dec 22, 2015
Enhancing GJK: Computing minimum and penetration distances between convex polyhedra.pdf git-annex in desktop Jul 5, 2017
Enumerating the Rationals.pdf git-annex automatic sync Jul 24, 2014
Epigram: Practical programming with dependent types.pdf git-annex in ollie@io:~/papers Apr 30, 2016
Euclid's Theorem in Agda.pdf git-annex automatic sync Sep 15, 2014
Exploring the Regular Tree Types.pdf git-annex in ollie@io:~/papers May 2, 2016
Exponential Shadow Maps.pdf git-annex automatic sync Dec 10, 2014
Exponential Soft Shadow Mapping.pdf git-annex automatic sync Dec 16, 2014
Extensible Denotational Language Specifications.pdf Yum, papers Mar 20, 2014
Extensible Effects: An Alternative to Monad Transformers.pdf Yum, papers Mar 20, 2014
F-ing Modules.pdf git-annex automatic sync Aug 31, 2014
FEAT: Functional Enumeration of Algebraic Types.pdf Yum, papers Mar 20, 2014
Fast Calculation of Soft Shadow Textures Using Convolution.pdf git-annex automatic sync Dec 16, 2014
Fast Local Tone Mapping, Summed-Area Tables and Mesopic Vision Simulation.pdf git-annex automatic sync Oct 23, 2014
Fast Mergeable Integer Maps.pdf git-annex automatic sync Jun 25, 2015
Fast Summed-Area Table Generation and its Applications.pdf git-annex automatic sync Dec 16, 2014
Fast and Space Efficient Trie Searches.pdf git-annex automatic sync Jun 25, 2015
Fast and loose reasoning is morally correct.pdf git-annex in desktop Apr 19, 2017
Fast multiresolution image querying.pdf git-annex in desktop Apr 19, 2017
Fast ray sorting and breadth-first packet traversal for gpu ray tracing.pdf git-annex automatic sync Jun 5, 2015
Fast, Error Correcting Parser Combinators: A Short Tutorial.pdf git-annex automatic sync Jul 27, 2014
Fast, Exact, Linear Booleans.pdf git-annex automatic sync May 18, 2015
Finally Tagless, Partially Evaluated.pdf git-annex automatic sync Jun 5, 2015
Finger Trees: A Simple General-Purpose Data Structure.pdf git-annex automatic sync Nov 17, 2014
First-class Isomorphic Specialization by Staged Evaluation.pdf WGP 2014 Aug 31, 2014
Fixing Idioms.pdf git-annex automatic sync Jun 3, 2014
Flexible Dynamic Information Flow Control in Haskell.pdf git-annex automatic sync Sep 15, 2014
Flipping Fold, Reformulating Reduction.pdf git-annex in ollie@io:~/papers Aug 22, 2015
Focusing on Binding and Computation.pdf git-annex automatic sync Jun 3, 2014
Focusing on Pattern Matching.pdf git-annex automatic sync Aug 31, 2014
Folding Domain-Specific Languages: Deep and Shallow Embeddings.pdf ICFP 2014 papers Aug 31, 2014
Foreign Inline Code.pdf Haskell Symposium 2014 papers Aug 31, 2014
Free Applicative Functors.pdf Yum, papers Mar 20, 2014
Free Delivery.pdf git-annex in desktop Feb 20, 2017
Free theorems involving type constructor classes.pdf git-annex in ollie@nixos:~/papers Dec 22, 2017
From monoids to near-semirings: the essence of MonadPlus and Alternative.pdf git-annex in ollie@io:~/papers Jul 17, 2015
Fudgets: A Graphical User Interface in a Lazy Functional Language.pdf git-annex automatic sync Jun 4, 2014
Fun With Semirings.pdf git-annex automatic sync Aug 31, 2014
Fun With Type Functions.pdf git-annex automatic sync Jul 13, 2014
Functional Image Synthesis.pdf git-annex automatic sync Jun 3, 2014
Functional Implementations of Continuous Modeled Animation.pdf git-annex automatic sync Jun 9, 2014
Functional Pearl: Implicit Configurations.pdf git-annex automatic sync Jun 8, 2014
Functional Pearl: La Tour D'Hanoi.pdf git-annex automatic sync Jul 27, 2014
Functional Pearl: The Zipper.pdf git-annex automatic sync Aug 15, 2014
Functional Pearl: a pretty but not greedy printer.pdf git-annex in ollie@nixos:~/papers May 31, 2017
Functional Programming for Dynamic and Large Data with Self-Adjusting Computation.pdf ICFP 2014 papers Aug 31, 2014
Functional Programming with Structured Graphs.pdf git-annex automatic sync Oct 13, 2014
Functional Reactive Animation.pdf git-annex automatic sync Jun 3, 2014
Functional Reactive Programming With Liveness Guarantees.pdf git-annex automatic sync May 18, 2015
Functional Reactive Programming from First Principles.pdf git-annex automatic sync Oct 29, 2013
Functional Reactive Programming, Continued.pdf Yum, papers Mar 20, 2014
Functional Reactive Types.pdf git-annex automatic sync May 18, 2015
Functional Unparsing.pdf git-annex automatic sync Aug 31, 2014
Functional programming with quadtrees.pdf git-annex in ollie@io:~/papers Aug 22, 2015
Functor is to Lens as Applicative is to Biplate.pdf Yum, papers Mar 20, 2014
Fusion for free: efficient algebraic effect handlers.pdf git-annex in ollie@nixos:~/papers Dec 22, 2017
GPU-Based Ray-Casting of Quadratic Surfaces.pdf git-annex automatic sync Jun 5, 2015
Generalising Monads to Arrows.pdf git-annex automatic sync Jun 3, 2014
Generalizing Generalized Tries.pdf git-annex automatic sync Aug 29, 2014
Generic Constructors and Eliminators from Descriptions.pdf WGP 2014 Aug 31, 2014
Generic Monadic Constructs for Embedded Languages.pdf Yum, papers Mar 20, 2014
Generic Programming for Indexed Datatypes.pdf git-annex automatic sync Jun 8, 2014
Genuinely Functional GUIs.pdf git-annex automatic sync Jun 3, 2014
Globally normalized transition-based neural networks.pdf git-annex in ollie@nixos:~/papers Feb 3, 2017
Graph Searching and Related Problems.pdf git-annex automatic sync Aug 31, 2014
HAT-trie: A cache-conscious trie-based data structure for strings.pdf git-annex in ollie@io:~/papers Jul 27, 2015
Handlers in action.pdf git-annex in ollie@io:~/papers Apr 27, 2016
Handlers of algebraic effects.pdf git-annex in ollie@io:~/papers Apr 27, 2016
Haskell Boards the Ferry: Database-Supported Program Execution for Haskell.pdf git-annex automatic sync Aug 31, 2014
Haskino: A remote monad for programming the Arduino.pdf git-annex in desktop May 19, 2016
Hasochism.pdf git-annex automatic sync Jul 24, 2014
High Dynamic Range Imaging Pipeline on the GPU.pdf git-annex automatic sync Dec 31, 2014
Higher Dimensional Trees, Algebraically.pdf git-annex automatic sync Jul 28, 2014
Higher-Order Abstract Syntax.pdf git-annex automatic sync Oct 14, 2014
Higher-Order Functional Reactive Programming without Spacetime Leaks.pdf git-annex automatic sync Oct 29, 2013
Highly Available Transactions: Virtues and Limitations.pdf git-annex automatic sync Aug 31, 2014
Hindley-Milner Elaboration in Applicative Style.pdf ICFP 2014 papers Aug 31, 2014
Homotopical Patch Theory.pdf ICFP 2014 papers Aug 31, 2014
Homotopy Type Theory: Univalent Foundations for Mathematics.pdf git-annex automatic sync Jun 24, 2014
How to Keep Your Neighbours in Order.pdf ICFP 2014 papers Aug 31, 2014
How to Twist Pointers without Breaking Them.pdf git-annex in desktop Feb 3, 2017
How transferable are features in deep neural networks?.pdf git-annex in desktop Feb 20, 2017
Huge Data but Small Programs.pdf git-annex automatic sync Jul 3, 2014
HyperLogLog: The Analysis of a Near-Optimal Cardinality Estimation Algorithm.pdf git-annex automatic sync Jun 12, 2014
I Am Not a Number, I Am a Free Variable.pdf git-annex automatic sync Jun 20, 2014
I-Collide: An interactive and exact collision detection system for large-scale environments.pdf git-annex in desktop Jul 5, 2017
Ideal Hash Trees.pdf git-annex automatic sync Jul 1, 2014
Implementing lazy functional languages on stock hardware: the Spineless Tagless G-machine.pdf git-annex in ollie@io:~/papers Aug 13, 2015
Implementing sets efficiently in a functional language.pdf git-annex in desktop Apr 19, 2017
Improved Alpha-Tested Magnification for Vector Textures and Special Effects.pdf git-annex automatic sync Nov 12, 2014
Improving neural networks by preventing co-adaptation of feature detectors.pdf git-annex in desktop Feb 20, 2017
In Search of a Sensible Consensus Algorithm.pdf Yum, papers Mar 20, 2014
Incompleteness & Completeness: Formalizing Logic and Analysis in Type Theory.pdf git-annex automatic sync Sep 10, 2014
Indentation-Sensitive Parsing for Parsec.pdf Haskell Symposium 2014 papers Aug 31, 2014
Indeterminate Behavior with Determinate Semantics in Parallel Programs.pdf git-annex automatic sync May 18, 2015
Indexed Containers.pdf git-annex automatic sync Mar 29, 2015
Inductive Graphs and Functional Graph Algorithms.pdf git-annex in desktop Dec 15, 2016
Information Flow Enforcement in Monadic Libraries.pdf git-annex automatic sync Sep 15, 2014
Instant radiosity for real-time global illumination.pdf git-annex automatic sync Jun 12, 2015
Interactive Programs and Weakly Final Coalgebras in Dependent Type Theory.pdf git-annex automatic sync Apr 21, 2015
Interactive Programs in Dependent Type Theory.pdf git-annex automatic sync Mar 29, 2015
Interfaces as Functors, Programs as Coalgebras - a Final Coalgebra Theorem in Intensional Type Theory.pdf git-annex automatic sync Apr 21, 2015
Interval Analysis for Computer Graphics.pdf git-annex automatic sync Oct 30, 2014
Interval Methods for Multi-Point Collisions between Time-Dependent Curved Surfaces.pdf git-annex automatic sync Oct 30, 2014
Introduction to Inverse Kinematics with Jacobian Transpose, Pseudoinverse and Damped Least Square methods.pdf git-annex automatic sync Jun 14, 2015
Introduction to Programming with Shift and Reset.pdf git-annex automatic sync Jun 3, 2014
Invertible Syntax Descriptions: Unifying Parsing and Pretty Printing.pdf git-annex automatic sync Jun 9, 2014
Isomorphism is equality.pdf git-annex in ollie@io:~/papers Aug 13, 2015
Iteratees.pdf git-annex automatic sync Jun 6, 2014
Kleisli Arrows of Outrageous Fortune.pdf git-annex automatic sync Jul 13, 2014
Krivine Net: A Semantic Foundation for Distributed Execution.pdf ICFP 2014 papers Aug 31, 2014
Lambda in Motion: Controlling Robots with Haskell.pdf git-annex automatic sync Jun 9, 2014
Lazy Functional State Threads.pdf Yum, papers Mar 20, 2014
Lazy v. Yield: Incremental, Linear Pretty-printing.pdf git-annex automatic sync Oct 10, 2014
Learning and transferring mid-Level image representations using convolutional neural networks.pdf git-annex in desktop Feb 20, 2017
Lem: Reusable Engineering of Real-world Semantics.pdf ICFP 2014 papers Aug 31, 2014
Less Is More: Generic Programming Theory and Practice.pdf git-annex automatic sync Aug 31, 2014
Life Beyond Distributed Transactions: An Apostate's Opinion.pdf git-annex automatic sync Jul 16, 2014
Lightweight Monadic Regions.pdf git-annex automatic sync Jun 3, 2014
Lightweight Static Resources: Sexy Types for Embedded and Systems Programming.pdf git-annex automatic sync Jul 27, 2014
LiquidHaskell: Experience with Refinement Types in the Real World.pdf Haskell Symposium 2014 papers Aug 31, 2014
Local Reasoning about Programs that Alter Data Structures.pdf git-annex automatic sync Jul 16, 2014
Loglog Counting of Large Cardinalities.pdf git-annex automatic sync Jun 12, 2014
Machines in a Category.pff git-annex automatic sync Sep 29, 2014
Manufacturing datatypes.pdf git-annex in ollie@nixos:~/papers Jul 24, 2017
Mathematics, Morally.pdf git-annex automatic sync Sep 9, 2014
Maximal Sharing in the Lambda Calculus with letrec.pdf ICFP 2014 papers Aug 31, 2014
Memo Functions, Polytypically.pdf git-annex automatic sync Aug 29, 2014
Meshing piecewise linear complexes by constrained Delaunay tetrahedralizations.pdf git-annex automatic sync Jun 5, 2015
Microfacet Models for Refraction through Rough Surfaces.pdf git-annex automatic sync Dec 31, 2014
Modelling Environments in Call-By-Value Languages.pdf git-annex automatic sync Jun 9, 2014
Modelling Substructural Logics in Agda.pdf git-annex automatic sync Dec 10, 2014
Modular monad transformers.pdf git-annex in ollie@io:~/papers Apr 27, 2016
Monad Transformers and Modular Interpreters.pdf git-annex automatic sync Jun 4, 2014
Monad transformers as monoid transformers.pdf git-annex in ollie@io:~/papers Apr 27, 2016
Monad transformers step by step.pdf git-annex in desktop Apr 19, 2017
Monadic Functional Reactive Programming.pdf git-annex automatic sync Jun 6, 2014
Monadic presentations of lambda terms using generalized inductive types.pdf git-annex in ollie@io:~/papers Feb 15, 2016
Monads Need Not Be Endofunctors.pdf Yum, papers Mar 20, 2014
Monads for Functional Programming.pdf git-annex automatic sync Jun 4, 2014
Monatron: An extensible monad transformer library.pdf git-annex in ollie@io:~/papers Apr 27, 2016
Monoidal computer I: Basic computability by string diagrams.pdf git-annex in ollie@io:~/papers Feb 4, 2016
Monoidal computer II: Normal complexity by string diagrams.pdf git-annex in ollie@io:~/papers Feb 4, 2016
Monoids: Theme and Variations (Functional Pearl).pdf git-annex automatic sync Jul 24, 2014
Nested Datatypes.pdf git-annex automatic sync Jul 2, 2014
NixOS: A Purely Functional Package Manager.pdf git-annex automatic sync Jul 24, 2014
Notions of Computation and Monads.pdf git-annex automatic sync Jun 9, 2014
Notions of Computation as Monoids.pdf git-annex automatic sync Jun 19, 2014
Notions of computation determine monads.pdf git-annex in ollie@io:~/papers Apr 27, 2016
On Bunched Typing.pdf git-annex automatic sync Oct 29, 2013
On Functional Logic Programming and its Application to Testing.pdf git-annex automatic sync Aug 30, 2014
On Teaching 'How To Design Programs': Observations From a Newcomer.pdf ICFP 2014 papers Aug 31, 2014
On Understanding Data Abstraction, Revisited.pdf git-annex automatic sync Jun 3, 2014
On the Bright Side of Type Classes: Instance Arguments in Agda.pdf Yum, papers Mar 20, 2014
Operational transform in real-time group editors: issues, algorithms and achievements.pdf git-annex in desktop Apr 19, 2017
Optimal Purely Functional Priority Queues.pdf git-annex automatic sync Aug 30, 2014
Optimal quadtree construction algorithms.pdf git-annex in ollie@io:~/papers Dec 2, 2015
Optimising Purely Functional GPU Programs.pdf git-annex automatic sync Jun 5, 2015
Ornamental Algebras, Algebraic Ornaments.pdf Yum, papers Mar 20, 2014
Ornaments in Practice.pdf WGP 2014 Aug 31, 2014
Outline of a Paraconsistent Category Theory.pdf git-annex automatic sync Aug 31, 2014
Overlapping and Order-Independent Patterns in Type Theory.pdf git-annex automatic sync Aug 31, 2014
PATRICIA - Practical algorithm to retrieve information coded in alphanumeric.pdf git-annex in desktop Apr 19, 2017
Parallel ordered sets using join.pdf git-annex in desktop Apr 19, 2017
Parametric Higher-Order Abstract Syntax for Mechanized Semantics.pdf git-annex automatic sync Oct 14, 2014
Pattern Matching Without K.pdf ICFP 2014 papers Aug 31, 2014
Physics, Topology, Logic and Computation: A Rosetta Stone.pdf git-annex automatic sync Jun 8, 2014
Polish Parsers, Step by Step.pdf git-annex automatic sync Oct 29, 2013
Polymorphic Embedding of DSLs.pdf git-annex automatic sync Jun 10, 2014
Polytypic Programming with Ease.pdf git-annex automatic sync May 18, 2015
Position Based Dynamics.pdf git-annex automatic sync Jun 18, 2015
Practical Principled FRP: Forget the past, change the future, FRPNow!.pdf git-annex in ollie@io:~/papers Jul 17, 2015
Practical Shadow Mapping.pdf git-annex automatic sync Dec 16, 2014
Practical and Effective Higher-Order Optimizations.pdf ICFP 2014 papers Aug 31, 2014
Premonoidal Categories and Notions of Computation.pdf git-annex automatic sync Jun 8, 2014
Pretty Printing with Lazy Dequeues.pdf git-annex automatic sync Oct 10, 2014
Productive coprogramming with guarded recursion.pdf git-annex in desktop Apr 19, 2017
Profunctor optics.pdf git-annex in ollie@nixos:~/papers Jun 30, 2017
Programming Interfaces and Basic Topology.pdf git-annex automatic sync Mar 29, 2015
Programming and reasoning with algebraic effects and dependent types.pdf git-annex in ollie@io:~/papers Apr 27, 2016
Programming in Idris: a Tutorial.pdf git-annex automatic sync Jul 22, 2014
Programming in Martin-Lof's type theory: An introduction.pdf git-annex in ollie@io:~/papers Apr 30, 2016
Programming with Algebraic Effects and Handlers.pdf git-annex automatic sync Jun 8, 2014
Programming with Arrows.pdf git-annex automatic sync Jun 8, 2014
Promoting Functions to Type Families in Haskell.pdf Haskell Symposium 2014 papers Aug 31, 2014
Proof Automatization Using Reflection (Implementations in Agda).pdf git-annex automatic sync Sep 6, 2014
Proof Carrying-Based Information Flow Tracking for Data Secrecy Protection and Hardware Trust.pdf git-annex automatic sync Sep 15, 2014
Propositions as Types.pdf git-annex automatic sync Apr 18, 2015
Purely Functional Data Structures.pdf git-annex automatic sync Nov 12, 2014
Push-pull functional reactive programming.pdf Yum, papers Mar 20, 2014
README.md README.md: Correct the 'git config' command (#11) Jul 16, 2018
Random search for hyper-parameter optimization.pdf git-annex in desktop Feb 20, 2017
Real time group editors without operational transformation.pdf git-annex in desktop Apr 19, 2017
Real-Time, All-Frequency Shadows in Dynamic Scenes.pdf git-annex automatic sync Dec 16, 2014
Realtime Ray Tracing and Interactive Global Illumination.pdf git-annex automatic sync Jun 5, 2015
Refinement Types For Haskell.pdf ICFP 2014 papers Aug 31, 2014
Reflection without Remorse.pdf Haskell Symposium 2014 papers Aug 31, 2014
Reinventing Haskell Backtracking.pdf git-annex automatic sync Aug 30, 2014
Relating Algebraic and Coalgebraic Descriptions of Lenses.pdf git-annex automatic sync Jun 3, 2014
Relational lattices: From databases to universal algebra.pdf git-annex in desktop Mar 20, 2017
Relative Monads Formalised.pdf Yum, papers Mar 20, 2014
Rendering Antialiased Shadows with Depth Maps.pdf git-annex automatic sync Dec 16, 2014
Rendering Glints on High-Resolution Normal-Mapped Specular Surfaces.pdf git-annex automatic sync Mar 28, 2015
Representing Cyclic Structures as Nested Types.pdf git-annex automatic sync Oct 17, 2014
Representing Monads.pdf Representing Monads Jun 6, 2014
Resource-safe Systems Programming with Embedded Domain Specific Languages.pdf git-annex automatic sync Oct 29, 2013
Rethinking Prolog.pdf git-annex automatic sync Sep 15, 2014
Revisiting Catamorphisms over Datatypes with Embedded Functions.pdf git-annex automatic sync Oct 30, 2014
Rolling Your Own Mutable ADT: A Connection Between Linear Types and Monads.pdf git-annex automatic sync May 18, 2015
Romeo: a System For More Flexible Binding-Safe Programming.pdf ICFP 2014 papers Aug 31, 2014
SML# in Industry: A Practical ERP System Development.pdf ICFP 2014 papers Aug 31, 2014
Safe Functional Reactive Programming through Dependent Types.pdf git-annex automatic sync Oct 29, 2013
Safe Zero-cost Coercions for Haskell.pdf ICFP 2014 papers Aug 31, 2014
Safely Composable Type-Specific Languages.pdf git-annex automatic sync Aug 11, 2014
Scoping Rules on a Platte.pdf WGP 2014 Aug 31, 2014
SeLINQ: Tracking Information across Application-Database Boundaries.pdf ICFP 2014 papers Aug 31, 2014
Securing concurrent programs with dynamic information-flow control.pdf git-annex automatic sync Sep 15, 2014
Self-Representation in Girard's System U.pdf git-annex automatic sync Jun 5, 2015
Semantics First! Rethinking the Language Design Process.pdf Yum, papers Mar 20, 2014
Semantics-Driven DSL Design.pdf Yum, papers Mar 20, 2014
Semi-indexing semi-structured data in tiny space.pdf git-annex in desktop Feb 15, 2017
Semiring Parsing.pdf git-annex automatic sync Aug 31, 2014
Separation Logic: A Logic for Shared Mutable Data Structures.pdf git-annex automatic sync Jul 16, 2014
Setoids in Type Theory.pdf git-annex automatic sync Sep 10, 2014
Settable and Non-Interfering Signal Functions for FRP.pdf ICFP 2014 papers Aug 31, 2014
Shapely types and shape polymorphism.pdf git-annex in ollie@nixos:~/papers Jul 24, 2017
Signals, Not Generators!.pdf git-annex automatic sync Nov 12, 2014
Simply typed lambda-calculus modulo type isomorphisms.pdf git-annex in ollie@io:~/papers Aug 13, 2015
Simulating Qualified Class Constraints.pdf git-annex automatic sync Jun 3, 2014
Single-pass Wireframe Rendering.pdf git-annex automatic sync Jun 5, 2015
SmallCheck and Lazy SmallCheck.pdf Yum, papers Mar 20, 2014
SmartCheck: Automatic and Efficient Counterexample Reduction and Generalization.pdf Haskell Symposium 2014 papers Aug 31, 2014
Soft Contract Verification.pdf ICFP 2014 papers Aug 31, 2014
Solid Wireframe.pdf git-annex automatic sync Jun 5, 2015
Sorting With Bialgebras and Distributive Laws.pdf git-annex automatic sync Jun 3, 2014
Sound and complete bidirectional typechecking for higher-rank polymorphism with existentials and indexed types.pdf git-annex in ollie@io:~/papers Mar 19, 2016
Spans of Lenses.pdf git-annex automatic sync Aug 31, 2014
Specifying Interactions with Dependent Types.pdf git-annex automatic sync Mar 29, 2015
Sphere tracing: a geometric method for the antialiased ray tracing of implicit surfaces.pdf git-annex in ollie@io:~/papers Dec 22, 2015
Statistically Rigorous Java Performance Evaluation.pdf git-annex automatic sync Oct 10, 2014
Stream Fusion on Haskell Unicode Strings.pdf git-annex automatic sync Jul 24, 2014
Stream Fusion: From Lists to Streams to Nothing At All.pdf git-annex automatic sync Aug 28, 2014
Stretching the Storage Manager: Weak Pointers and Stable Names in Haskell.pdf git-annex in ollie@io:~/papers Aug 14, 2015
Strongly Typed Heterogeneous Collections.pdf git-annex automatic sync Dec 16, 2014
Structuring depth-first search algorithms in Haskell.pdf git-annex in desktop Apr 19, 2017
Student Paper: HaskellDB Improved.pdf Yum, papers Mar 20, 2014
Substitution: A formal methods case study using monads and transformations.pdf git-annex in ollie@io:~/papers Feb 15, 2016
Substructural Type Systems.pdf git-annex automatic sync Oct 29, 2013
Subtyping, Declaratively. An exercise in mixed induction and coinduction.pdf git-annex in ollie@nixos:~/papers Mar 19, 2017
Symmetric Lenses.pdf git-annex automatic sync Aug 31, 2014
System FC With Explicit Kind Equality.pdf git-annex automatic sync Jun 9, 2014
System-Level Performance Metrics for Multiprogram Workloads.pdf git-annex automatic sync Oct 10, 2014
Systems Demonstration: Writing NetBSD Sound Drivers in Haskell.pdf Haskell Symposium 2014 papers Aug 31, 2014
Temporal Logic with 'Until', Functional Reactive Programming with Processes, and Concrete Process Categories.pdf git-annex automatic sync Aug 31, 2014
Testing monadic code with QuickCheck.pdf git-annex in ollie@nixos:~/papers Mar 19, 2017
The Derivative of a Regular Type is its Type of One-Hole Contexts.pdf git-annex automatic sync Sep 7, 2014
The Discoveries of Continuations.pdf git-annex automatic sync Sep 9, 2014
The Dual of Substitution is Redecoration.pdf git-annex automatic sync Jul 22, 2014
The Essence of Dataflow Programming.pdf git-annex automatic sync Jul 22, 2014
The Essence of Functional Programming.pdf git-annex automatic sync Jun 4, 2014
The Essence of the Iterator Pattern.pdf git-annex automatic sync Jul 24, 2014
The Galois Connection Between Syntax and Semantics.pdf Yum, papers Mar 20, 2014
The Gentle Art of Levitation.pdf git-annex automatic sync Jul 29, 2014
The HdpH DSLs for Scalable Reliable Computation.pdf Haskell Symposium 2014 papers Aug 31, 2014
The Monad.Reader, Issue 1.pdf git-annex automatic sync Aug 25, 2014
The Monad.Reader, Issue 10.pdf git-annex automatic sync Aug 25, 2014
The Monad.Reader, Issue 11.pdf git-annex automatic sync Aug 25, 2014
The Monad.Reader, Issue 12.pdf git-annex automatic sync Aug 25, 2014
The Monad.Reader, Issue 13.pdf git-annex automatic sync Aug 25, 2014
The Monad.Reader, Issue 14.pdf git-annex automatic sync Aug 25, 2014
The Monad.Reader, Issue 15.pdf git-annex automatic sync Aug 25, 2014
The Monad.Reader, Issue 16.pdf git-annex automatic sync Aug 25, 2014
The Monad.Reader, Issue 17.pdf git-annex automatic sync Aug 25, 2014
The Monad.Reader, Issue 18.pdf git-annex automatic sync Aug 25, 2014
The Monad.Reader, Issue 19.pdf git-annex automatic sync Aug 25, 2014
The Monad.Reader, Issue 20.pdf git-annex automatic sync Aug 25, 2014
The Monad.Reader, Issue 21.pdf git-annex automatic sync Aug 25, 2014
The Monad.Reader, Issue 22.pdf git-annex automatic sync Aug 25, 2014
The Monad.Reader, Issue 6.pdf git-annex automatic sync Aug 25, 2014
The Monad.Reader, Issue 7.pdf git-annex automatic sync Aug 25, 2014
The Monad.Reader, Issue 8.pdf git-annex automatic sync Aug 25, 2014
The Monad.Reader, Issue 9.pdf git-annex automatic sync Aug 25, 2014
The Next 1100 Haskell Programmers.pdf Haskell Symposium 2014 papers Aug 31, 2014
The Operad of Temporal Wiring Diagrams.pdf Yum, papers Mar 20, 2014
The Operad of Wiring Diagrams.pdf Yum, papers Mar 20, 2014
The Power of Pi.pdf git-annex automatic sync Aug 15, 2014
The Two Dualities of Computation: Negative and Fractional Types.pdf git-annex automatic sync Aug 15, 2014
The View from the Left.pdf git-annex automatic sync Apr 21, 2015
The Yampa Arcade.pdf Yum, papers Mar 20, 2014
The constrained-monad problem.pdf git-annex in desktop Apr 19, 2017
The essence of form abstraction.pdf git-annex in ollie@nixos:~/papers Feb 3, 2017
The remote monad design pattern.pdf git-annex in desktop May 19, 2016
Theorems for Free!.pdf git-annex automatic sync Jun 18, 2014
Theory and Practice of Fusion.pdf git-annex in ollie@nixos:~/papers Dec 22, 2017
There is no Fork: an Abstraction for Efficient, Concurrent and Concise Data Access.pdf ICFP 2014 papers Aug 31, 2014
This is the (co)end, my only (co)friend.pdf git-annex automatic sync Jul 8, 2015
Thrists: Dominoes of Data.pdf git-annex automatic sync Aug 31, 2014
Tiled and Clustered Forward Shading.pdf git-annex automatic sync Jun 5, 2015
Tombstone transformation functions for ensuring consistency in collaborative editing systems.pdf git-annex in desktop Apr 19, 2017
Topology and Data.pdf git-annex automatic sync Aug 31, 2014
Total Functional Programming.pdf Yum, papers Mar 20, 2014
Total Parser Combinators.pdf git-annex automatic sync Feb 11, 2015
Towards Typing for Small-Step Direct Reflection.pdf git-annex automatic sync Jun 5, 2015
Transitive closure and related semiring properties via eliminants.pdf git-annex automatic sync Jun 18, 2015
Trees that grow.pdf git-annex in ollie@nixos:~/papers Sep 6, 2017
Triangulation made easy.pdf git-annex in desktop Apr 19, 2017
Trouble Shared is Trouble Halved.pdf Yum, papers Mar 20, 2014
True Sums of Products.pdf WGP 2014 Aug 31, 2014
Turing-Completeness Totally Free.pdf git-annex automatic sync Jun 5, 2015
Two-Level Types and Parameterized Modules.pdf git-annex automatic sync Aug 29, 2014
Type Inference for the Spine View of Data.pdf WGP 2014 Aug 31, 2014
Type Inference, Haskell and Dependent Types.pdf git-annex automatic sync Aug 31, 2014
Type families with class, type classes with family.pdf git-annex in ollie@io:~/papers Apr 27, 2016
Type-Based Parametric Analysis of Program Families.pdf ICFP 2014 papers Aug 31, 2014
Type-Preserving Renaming and Substitution.pdf git-annex automatic sync Dec 31, 2014
Type-Safe Observable Sharing in Haskell.pdf git-annex automatic sync Oct 23, 2014
Type-checking Polymorphic Units for Astrophysics Reserach in Haskell.pdf Haskell Symposium 2014 papers Aug 31, 2014
Type-level web APIs with Servant.pdf git-annex in ollie@io:~/papers Jul 27, 2015
Type-safe runtime code generation with LLVM.pdf git-annex in ollie@io:~/papers Jul 27, 2015
Typed Faceted Values for Secure Information Flow in Haskell.pdf git-annex automatic sync Sep 15, 2014
Unboxed Values as First Class Citizens in a Non-Strict Functional Language.pdf git-annex automatic sync Aug 11, 2014
Unembedding Domain Specific Languages.pdf git-annex automatic sync Oct 14, 2014
Unfolding Abstract Datatypes.pdf Yum, papers Mar 20, 2014
Universes for Generic Programs and Proofs in Dependent Type Theory.pdf git-annex automatic sync Jul 29, 2014
UrWeb: A Simple Model for Programming the Web.pdf git-annex in desktop Apr 29, 2016
Using Circular Programming for Higher-Order Syntax.pdf git-annex automatic sync Jun 22, 2014
Using Formal Methods to Enable More Secure Vehicles.pdf ICFP 2014 papers Aug 31, 2014
Value Recursion in Monadic Computations.pdf git-annex automatic sync Jun 3, 2014
Variance Shadow Maps.pdf git-annex automatic sync Dec 16, 2014
Verification of Information Flow and Access Control Policies with Dependent Types.pdf git-annex automatic sync Sep 15, 2014
Visible type application.pdf git-annex in ollie@io:~/papers Dec 2, 2015
Visualizing and understanding convolutional networks.pdf git-annex in desktop Feb 20, 2017
Wang tiles for image and texture generation.pdf git-annex in desktop Apr 26, 2016
Wavelet Trees For All.pdf git-annex automatic sync Oct 29, 2013
Wavelets and their Applications in Computer Graphics.pdf git-annex automatic sync Jun 10, 2014
Wavelets for Computer Graphics.pdf git-annex automatic sync Jun 10, 2014
What Makes Code Hard to Understand.pdf Yum, papers Mar 20, 2014
What is a Categorical Model of Arrows?.pdf git-annex automatic sync Jun 8, 2014
When is one thing equal to some other thing?.pdf git-annex in desktop Apr 19, 2017
Why It's Nice to Be Quoted: Quasiquoting for Haskell.pdf git-annex automatic sync Aug 19, 2014
Why dependent types matter.pdf git-annex in desktop Apr 19, 2017
Witnesses and Open Witnesses.pdf git-annex automatic sync Dec 2, 2014
Worker, Wrapper, Makes it, Faster.pdf ICFP 2014 papers Aug 31, 2014
de Bruijn Notation as a Nested Datatype.pdf git-annex automatic sync Jul 1, 2014

README.md

papers

A Git annex repository of academic papers. The intention here is to both provide myself with backups and easy access to papers, while also collecting a repository of links so that people can always find the paper they are looking for.

Using this

To use this repository you need to have Git and Git Annex installed. Then:

git clone git://github.com/ocharles/papers
git config remote.origin.annex-readonly true
git annex init local-copy
git annex get .

This will download all of the papers I have. You can of course just selectively git annex get the papers that interest you.

To stay up to date, just run

git annex sync origin

Alternatively, if you are running the git annex assistant, click on the top right, choose add another local repository and select the directory you cloned the repo into. It will then be automatically kept up to date by the assistant