From 23a56be18f09f65460baf8f3f071a3248f9eea5c Mon Sep 17 00:00:00 2001 From: Ryan Dooley Date: Tue, 5 Aug 2014 11:46:59 -0700 Subject: [PATCH] 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 --- README.md | 1 + 1 file changed, 1 insertion(+) diff --git a/README.md b/README.md index ee4d507..d4c5c13 100755 --- a/README.md +++ b/README.md @@ -47,6 +47,7 @@ We're looking for pull requests related to papers we should add, better organiza * [Readings in Distributed Systems](http://christophermeiklejohn.com/distributed/systems/2013/07/12/readings-in-distributed-systems.html) * [Gradual Typing Bibliography](http://samth.github.io/gradual-typing-bib/) * [Security Data Science Papers](http://www.covert.io/security-datascience-papers/) +* [Research Papers from Robert Harper, Carnegie Mellon University](http://www.cs.cmu.edu/~rwh/papers.htm) Please check out our [wiki-page](https://github.com/papers-we-love/papers-we-love/wiki/Other-Good-Sources-of-Reading-Material) for links to blogs, books, exchanges that are worth a good read.