Archives/papers-we-love_papers-we-love
1
0
Fork 0
mirror of https://github.com/papers-we-love/papers-we-love.git synced 2026-03-02 03:40:31 +00:00
Code Issues Projects Releases Wiki Activity

Merge pull request #90 from papers-we-love/make-updates-for-applicative-fp-and-add-may-paper

Browse Source 
updates based on applicative programming and what will be mays paper
This commit is contained in:
Ines Sombra
2014-04-04 11:12:53 -04:00
parent 1635092b5a 03ba800529
commit 14bcb0a7df
6 changed files with 7 additions and 4 deletions
Download Patch File Download Diff File Expand all files Collapse all files

BIN
data_replication/a-comprehensive-study-of-convergent-and-communative-replicated-data-types.pdf Normal file
View File

Binary file not shown.

7
functional_progamming/README.md Normal file
View File

@@ -0,0 +1,7 @@
# Functional Programming
## Applicative Programming
* [Backtracking Iterators](https://www.lri.fr/~filliatr/publis/enum2.pdf)
* [Breadth-First Numbering: Lessons from a Small Exercise in Algorithm Design](http://www.cs.tufts.edu/~nr/cs257/archive/chris-okasaki/breadth-first.pdf)

0
functional_progamming_winners/equal-rights-for-functional-objects.pdf → functional_progamming/equal-rights-for-functional-objects.pdf
View File

0
functional_progamming_winners/optimal-purely-functional-priority-queues.pdf → functional_progamming/optimal-purely-functional-priority-queues.pdf
View File

0
functional_progamming_winners/why-functional-programming-matters.pdf → functional_progamming/why-functional-programming-matters.pdf
View File

4
plt/README.md
View File

@@ -3,7 +3,3 @@
* [Can Programming Be Liberated from the von Neumann Style? A Functional Style and Its Algebra of Programs](http://www.thocp.net/biographies/papers/backus_turingaward_lecture.pdf) * [Can Programming Be Liberated from the von Neumann Style? A Functional Style and Its Algebra of Programs](http://www.thocp.net/biographies/papers/backus_turingaward_lecture.pdf)
* [Programming and Reasoning with Algebraic Effects and Dependent Types](http://eb.host.cs.st-andrews.ac.uk/drafts/effects.pdf) * [Programming and Reasoning with Algebraic Effects and Dependent Types](http://eb.host.cs.st-andrews.ac.uk/drafts/effects.pdf)
* [Backtracking Iterators](https://www.lri.fr/~filliatr/publis/enum2.pdf)
* [Breadth-First Numbering: Lessons from a Small Exercise in Algorithm Design](http://www.cs.tufts.edu/~nr/cs257/archive/chris-okasaki/breadth-first.pdf)