Archives/papers-we-love_papers-we-love
1
0
Fork 0
mirror of https://github.com/papers-we-love/papers-we-love.git synced 2024-10-27 20:34:20 +00:00
Code Issues Projects Releases Wiki Activity

Add Research Papers from Robert Haper

Browse Source 
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
This commit is contained in:
Ryan Dooley 2014-08-05 11:46:59 -07:00
parent 9e7ee7f961
commit 23a56be18f
1 changed files with 1 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
README.md
View File

@ -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.