adding "Ideal Hash Trees" by Phil Bagwell
Adding the Chicago chapter
Merge pull request #143 from tolitius/phil-bagwell

adding "Ideal Hash Trees" by Phil Bagwell
add papers referred to by @skamille
Merge pull request #145 from papers-we-love/@skamille-papers

add papers referred to by @skamille
added link for chapter list
Merge pull request #148 from papers-we-love/chapter_link

added link for chapter list
Add a reference to security papers.

This is a link to collected security papers by @jason_trost.
Fix typo
Merge pull request #150 from brandonbloom/patch-1

Fix typo
Merge pull request #149 from 3rdman/secpapers

Add a reference to security papers.
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
Merge pull request #151 from 3rdman/master

Add Research Papers from Robert Haper
Added Orleans paper
Merge pull request #152 from stevelydford/master

Added Orleans paper
Correcting a typo.
Merge pull request #154 from krisajenkins/patch-1

Correcting a typo.
Added some papers to the security section.
Merge pull request #156 from aleksandar-todorovic/master

Added some papers to the security section.
Add QuickCheck race conditions paper