diff --git 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 new file mode 100644 index 0000000..0aa38e4 Binary files /dev/null and b/data_replication/a-comprehensive-study-of-convergent-and-communative-replicated-data-types.pdf differ diff --git a/functional_progamming/README.md b/functional_progamming/README.md new file mode 100644 index 0000000..2c15f1f --- /dev/null +++ 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) diff --git a/functional_progamming_winners/equal-rights-for-functional-objects.pdf b/functional_progamming/equal-rights-for-functional-objects.pdf similarity index 100% rename from functional_progamming_winners/equal-rights-for-functional-objects.pdf rename to functional_progamming/equal-rights-for-functional-objects.pdf diff --git a/functional_progamming_winners/optimal-purely-functional-priority-queues.pdf b/functional_progamming/optimal-purely-functional-priority-queues.pdf similarity index 100% rename from functional_progamming_winners/optimal-purely-functional-priority-queues.pdf rename to functional_progamming/optimal-purely-functional-priority-queues.pdf diff --git a/functional_progamming_winners/why-functional-programming-matters.pdf b/functional_progamming/why-functional-programming-matters.pdf similarity index 100% rename from functional_progamming_winners/why-functional-programming-matters.pdf rename to functional_progamming/why-functional-programming-matters.pdf diff --git a/plt/README.md b/plt/README.md index 8a35a45..873fa26 100644 --- 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)