updates based on applicative programming and what will be mays paper

10 years ago · 03ba800529
parent 1635092b5a
commit 03ba800529
6 changed files with 7 additions and 4 deletions
--- a/data_replication/a-comprehensive-study-of-convergent-and-communative-replicated-data-types.pdf
+++ b/data_replication/a-comprehensive-study-of-convergent-and-communative-replicated-data-types.pdf
--- a/functional_progamming/README.md
+++ b/functional_progamming/README.md
@ -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)
--- a/functional_progamming_winners/equal-rights-for-functional-objects.pdf
+++ b/functional_progamming_winners/equal-rights-for-functional-objects.pdf
--- a/functional_progamming_winners/optimal-purely-functional-priority-queues.pdf
+++ b/functional_progamming_winners/optimal-purely-functional-priority-queues.pdf
--- a/functional_progamming_winners/why-functional-programming-matters.pdf
+++ b/functional_progamming_winners/why-functional-programming-matters.pdf
--- a/plt/README.md
+++ b/plt/README.md
@ -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)

 * [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)