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
10 years ago
Jeremy Heiler
9e7ee7f961
Merge pull request #149 from 3rdman/secpapers
...
Add a reference to security papers.
10 years ago
Zeeshan Lakhani
69dc4f19fe
Merge pull request #150 from brandonbloom/patch-1
...
Fix typo
10 years ago
Brandon Bloom
5819c87457
Fix typo
10 years ago
Ryan Dooley
851f8687e2
Add a reference to security papers.
...
This is a link to collected security papers by @jason_trost.
10 years ago
Brian Bowman
5e83805ff7
Merge pull request #148 from papers-we-love/chapter_link
...
added link for chapter list
10 years ago
Ines Sombra
b2cc07912a
added link for chapter list
10 years ago
Ines Sombra
d60e78a78c
Merge pull request #145 from papers-we-love/@skamille-papers
...
add papers referred to by @skamille
10 years ago
Zeeshan Lakhani
cbbf33c11a
add papers referred to by @skamille
10 years ago
Ines Sombra
d70df4f630
Merge pull request #143 from tolitius/phil-bagwell
...
adding "Ideal Hash Trees" by Phil Bagwell
10 years ago
Ethan Gunderson
ac6e347ab0
Adding the Chicago chapter
10 years ago
anatoly
e3a056fd61
adding "Ideal Hash Trees" by Phil Bagwell
10 years ago
Brian Bowman
2b1eb4d59b
Merge pull request #141 from bobholt/bostonChapter
...
add Boston chapter
10 years ago
bobholt
c8d4638ad1
add Boston chapter
10 years ago
Ines Sombra
cfeee91d2f
Update README.md
...
functioning link to code of conduct
10 years ago
Ines Sombra
44bf3249e9
Update README.md
...
Added link to code of conduct - sorry for the push without PR (conference wifi)
10 years ago
Zeeshan Lakhani
eae1b32170
Merge pull request #138 from cuevasclemente/fix_rendering
...
Fixed broken link in 'The Rendering Equation'
10 years ago
cuevasclemente
6128e29df0
Fixed broken link in 'The Rendering Equation'
10 years ago
Zeeshan Lakhani
4a643f41a7
Update README.md
10 years ago
Zeeshan Lakhani
4575e11514
Merge pull request #136 from doothings/master
...
Hints for computer system design @doothings PWL#1
10 years ago
Anuj Deshpande
417d4312e2
Hints for computer system design @doothings PWL#1
10 years ago
Zeeshan Lakhani
5f00af5cd8
Update README.md
10 years ago
Zeeshan Lakhani
52b208e79e
Update README.md
10 years ago
Ines Sombra
659e6d9486
Merge pull request #135 from DarrenN/apis
...
Updated README for api_design
10 years ago
Darren_N
b16225016d
Update README.md
10 years ago
Darren_N
ddeef86b40
Update README.md
10 years ago
Darren_N
c941b99cca
Update headline
10 years ago
Darren_N
841dc3f862
Added headling
10 years ago
Darren_N
8e8d1ce20e
Create README.md
10 years ago
Darren_N
9dbe0d713f
Create README.md
10 years ago
Darren_N
b4262d7c46
Create README.md
10 years ago
DarrenN
6506d6a7c5
Updated README
10 years ago
Jeremy Heiler
ad36170c2e
Merge pull request #133 from DarrenN/organizing-programs-without-classes
...
Added Organizing Programs Without Classes and updated README
10 years ago
Clint Newsom
6b6805a0fe
Update README.md
10 years ago
Clint Newsom
1a4002d43f
Update README.md
...
Add Gittip widget.
10 years ago
DarrenN
61843c4a92
added Organizing Programs Without Classes and updated README
10 years ago
Clint Newsom
16b36505d2
Merge pull request #131 from chrisamaphone/master
...
Added Event Calculus paper
10 years ago
Chris
884a618bef
Create event-calculus.txt
10 years ago
Zeeshan Lakhani
2a4ecd6c16
Fix up for missing link.
10 years ago
Zeeshan Lakhani
6634b4dac5
Merge pull request #129 from borgified/small_format_changes
...
added space after a md formatted link
10 years ago
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
10 years ago
Zeeshan Lakhani
2638450a6f
Merge pull request #126 from ronw/master
...
Add pointers to some speech recognition papers.
10 years ago
Ron Weiss
df6df4d796
Add pointers to some speech recogntion papers.
10 years ago
Zeeshan Lakhani
94084fe209
Merge pull request #124 from leifwalsh/master
...
added The Level Ancestor Problem Simplified
10 years ago
Zeeshan Lakhani
4a3411a107
Merge pull request #125 from jwilkins/patch-1
...
Create README.md
10 years ago
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.
10 years ago
Leif Walsh
a44ffd1cd6
added The Level Ancestor Problem Simplified
10 years ago
Jeremy Heiler
a7791a237b
Merge pull request #122 from igorw/patch-1
...
Berlin chapter of papers we love
11 years ago
Igor Wiedler
1d64e922c9
Berlin chapter of papers we love
11 years ago
Zeeshan Lakhani
fcdf16bd3f
Merge pull request #121 from abelgone/errata
...
Fix folder name
11 years ago