more papers and cleanup

11 years ago · f0efbe99c3
parent ed1a31894a
commit f0efbe99c3
18 changed files with 10209 additions and 0 deletions
--- a/audio_comp_sci/shazam-audio-search-algorithm.pdf
+++ b/audio_comp_sci/shazam-audio-search-algorithm.pdf
--- a/bitcoin.pdf
+++ b/bitcoin.pdf
--- a/comp_sci_fundamentals/axiomatic-basis-computer-programming.pdf
+++ b/comp_sci_fundamentals/axiomatic-basis-computer-programming.pdf
--- a/comp_sci_fundamentals/fundamental-concepts-in-programming-languages.pdf
+++ b/comp_sci_fundamentals/fundamental-concepts-in-programming-languages.pdf
--- a/comp_sci_fundamentals/on-understanding-types-data-abstraction-polymorphism.pdf
+++ b/comp_sci_fundamentals/on-understanding-types-data-abstraction-polymorphism.pdf
--- a/comp_sci_fundamentals/out-of-the-tar-pit.pdf
+++ b/comp_sci_fundamentals/out-of-the-tar-pit.pdf
--- a/comp_sci_fundamentals/recursive-functions-of-symbolic-expressions-and-their-computation-by-machine-Part
+++ b/comp_sci_fundamentals/recursive-functions-of-symbolic-expressions-and-their-computation-by-machine-Part
--- a/dynamo-amazons-highly-available-key-value-store.pdf
+++ b/dynamo-amazons-highly-available-key-value-store.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/why-functional-programming-matters.pdf
+++ b/functional_progamming_winners/why-functional-programming-matters.pdf
--- a/functional_reactive_programming/asynchronous-functional-reactive-programming-for-GUIs.pdf
+++ b/functional_reactive_programming/asynchronous-functional-reactive-programming-for-GUIs.pdf
--- a/logic_and_programming/purely-functional-lazy-non-deterministic-programming.pdf
+++ b/logic_and_programming/purely-functional-lazy-non-deterministic-programming.pdf
--- a/pattern_matching/compiling-pattern-matching-to-good-decision-trees.pdf
+++ b/pattern_matching/compiling-pattern-matching-to-good-decision-trees.pdf
--- a/pattern_matching/extensible-pattern-matching-extensible-language.pdf
+++ b/pattern_matching/extensible-pattern-matching-extensible-language.pdf
--- a/pattern_matching/warnings-for-pattern-matching.pdf
+++ b/pattern_matching/warnings-for-pattern-matching.pdf
--- a/predicate-dispatching.pdf
+++ b/predicate-dispatching.pdf
--- a/reflections-on-trusting-trust.pdf
+++ b/reflections-on-trusting-trust.pdf
--- a/time-clocks-and-the-ordering-of-event-in-a-distributed-system.pdf
+++ b/time-clocks-and-the-ordering-of-event-in-a-distributed-system.pdf