Commit Graph

272 Commits

Author SHA1 Message Date
Jeremy Heiler
b39322f6c3 Merge pull request #151 from 3rdman/master
Add Research Papers from Robert Haper
2014-08-05 20:20:48 -04:00
Ryan Dooley
23a56be18f 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
2014-08-05 11:46:59 -07:00
Jeremy Heiler
9e7ee7f961 Merge pull request #149 from 3rdman/secpapers
Add a reference to security papers.
2014-08-02 15:08:01 -04:00
Zeeshan Lakhani
69dc4f19fe Merge pull request #150 from brandonbloom/patch-1
Fix typo
2014-08-01 08:28:11 -04:00
Brandon Bloom
5819c87457 Fix typo 2014-07-31 13:02:50 -04:00
Ryan Dooley
851f8687e2 Add a reference to security papers.
This is a link to collected security papers by @jason_trost.
2014-07-30 12:18:11 -07:00
Brian Bowman
5e83805ff7 Merge pull request #148 from papers-we-love/chapter_link
added link for chapter list
2014-07-27 00:58:03 -04:00
Ines Sombra
b2cc07912a added link for chapter list 2014-07-25 15:23:10 -07:00
Ines Sombra
d60e78a78c Merge pull request #145 from papers-we-love/@skamille-papers
add papers referred to by @skamille
2014-07-17 22:00:38 -07:00
Zeeshan Lakhani
cbbf33c11a add papers referred to by @skamille 2014-07-17 23:03:12 -05:00
Ines Sombra
d70df4f630 Merge pull request #143 from tolitius/phil-bagwell
adding "Ideal Hash Trees" by Phil Bagwell
2014-07-16 16:32:43 -07:00
anatoly
e3a056fd61 adding "Ideal Hash Trees" by Phil Bagwell 2014-07-16 11:09:08 -04:00
Brian Bowman
2b1eb4d59b Merge pull request #141 from bobholt/bostonChapter
add Boston chapter
2014-07-13 12:59:48 -04:00
bobholt
c8d4638ad1 add Boston chapter 2014-07-13 07:47:02 -04:00
Ines Sombra
cfeee91d2f Update README.md
functioning link to code of conduct
2014-06-24 18:31:20 -04:00
Ines Sombra
44bf3249e9 Update README.md
Added link to code of conduct - sorry for the push without PR (conference wifi)
2014-06-24 18:30:31 -04:00
Zeeshan Lakhani
eae1b32170 Merge pull request #138 from cuevasclemente/fix_rendering
Fixed broken link in 'The Rendering Equation'
2014-06-20 16:59:09 -04:00
cuevasclemente
6128e29df0 Fixed broken link in 'The Rendering Equation' 2014-06-20 16:51:37 -04:00
Zeeshan Lakhani
4a643f41a7 Update README.md 2014-06-17 09:30:27 -04:00
Zeeshan Lakhani
4575e11514 Merge pull request #136 from doothings/master
Hints for computer system design @doothings PWL#1
2014-06-16 22:39:02 -04:00
Anuj Deshpande
417d4312e2 Hints for computer system design @doothings PWL#1 2014-06-11 12:33:09 +05:30
Zeeshan Lakhani
5f00af5cd8 Update README.md 2014-06-10 01:34:21 -04:00
Zeeshan Lakhani
52b208e79e Update README.md 2014-06-10 01:33:52 -04:00
Ines Sombra
659e6d9486 Merge pull request #135 from DarrenN/apis
Updated README for api_design
2014-06-09 21:47:11 -07:00
Darren_N
b16225016d Update README.md 2014-06-09 20:38:20 -04:00
Darren_N
ddeef86b40 Update README.md 2014-06-09 20:28:47 -04:00
Darren_N
c941b99cca Update headline 2014-06-09 20:28:35 -04:00
Darren_N
841dc3f862 Added headling 2014-06-09 20:27:42 -04:00
Darren_N
8e8d1ce20e Create README.md 2014-06-09 20:26:25 -04:00
Darren_N
9dbe0d713f Create README.md 2014-06-09 20:23:48 -04:00
Darren_N
b4262d7c46 Create README.md 2014-06-09 20:21:07 -04:00
DarrenN
6506d6a7c5 Updated README 2014-06-09 20:17:06 -04:00
Jeremy Heiler
ad36170c2e Merge pull request #133 from DarrenN/organizing-programs-without-classes
Added Organizing Programs Without Classes and updated README
2014-06-09 14:40:05 -04:00
Clint Newsom
6b6805a0fe Update README.md 2014-06-09 09:54:48 -04:00
Clint Newsom
1a4002d43f Update README.md
Add Gittip widget.
2014-06-09 09:48:53 -04:00
DarrenN
61843c4a92 added Organizing Programs Without Classes and updated README 2014-06-09 09:31:24 -04:00
Clint Newsom
16b36505d2 Merge pull request #131 from chrisamaphone/master
Added Event Calculus paper
2014-06-09 09:21:38 -04:00
Chris
884a618bef Create event-calculus.txt 2014-06-06 11:21:31 -04:00
Zeeshan Lakhani
2a4ecd6c16 Fix up for missing link. 2014-06-02 09:55:08 -04:00
Zeeshan Lakhani
6634b4dac5 Merge pull request #129 from borgified/small_format_changes
added space after a md formatted link
2014-06-01 19:17:30 -04:00
Fwiffo
84c68445f9 added space after a md formatted link
bad: [my link](http://my.link.com): blahblah
good: [my link](http://my.link.com) : blahblah

bad: [my link](http://my.link.com)! blahblah
good: [my link](http://my.link.com) ! blahblah

without the space, url_checker_pwl.pl will get confused
2014-05-30 13:05:49 -07:00
Zeeshan Lakhani
2638450a6f Merge pull request #126 from ronw/master
Add pointers to some speech recognition papers.
2014-05-29 10:07:32 -04:00
Ron Weiss
df6df4d796 Add pointers to some speech recogntion papers. 2014-05-26 14:47:12 -04:00
Zeeshan Lakhani
94084fe209 Merge pull request #124 from leifwalsh/master
added The Level Ancestor Problem Simplified
2014-05-26 09:11:17 -04:00
Zeeshan Lakhani
4a3411a107 Merge pull request #125 from jwilkins/patch-1
Create README.md
2014-05-26 09:10:53 -04:00
Jonathan Wilkins
4ad5e3e70c Create README.md
Linked thompson paper is also in ethics/README.md, but it's a classic paper and I'm only adding a reference, hope that's ok.
2014-05-24 12:53:20 +02:00
Leif Walsh
a44ffd1cd6 added The Level Ancestor Problem Simplified 2014-05-23 08:57:48 -04:00
Jeremy Heiler
a7791a237b Merge pull request #122 from igorw/patch-1
Berlin chapter of papers we love
2014-05-22 13:21:37 -04:00
Igor Wiedler
1d64e922c9 Berlin chapter of papers we love 2014-05-22 19:16:58 +02:00
Zeeshan Lakhani
fcdf16bd3f Merge pull request #121 from abelgone/errata
Fix folder name
2014-05-21 09:30:12 -04:00