papers-we-love/papers-we-love — pull request #151 by 3rdman (2014-08-05 18:50:58+00:00)
Title: Add Research Papers from Robert Haper

Research papers around Type Theory, Proof Theory, and Category
Theory.

* Types and Language Design
* Types and Compilation
* Certifying Compilers
* Logical Frameworks
* Scientific Computing
* Computation and Information Grids
* Self-Adjusting Computation
* Security