codelahoma · March 29, 2021 19:13 · Oct 9, 2013 · Oct 9, 2013 · Oct 9, 2013 · Oct 9, 2013
diff --git a/everything-david-nolen-mentioned.markdown b/everything-david-nolen-mentioned.markdown
@@ -5,7 +5,7 @@ When watching [David Nolen's](http://twitter.com/swannodette) excellent [Lambda
 
 
 * _[The Dream Machine: J.C.R. Licklider and the Revolution That Made Computing Personal](http://www.amazon.com/The-Dream-Machine-Licklider-Revolution/dp/0670899763)_ - M. Mitchell Waldrop
-* [_Purely Function Data Structures_](http://www.cs.cmu.edu/~rwh/theses/okasaki.pdf) - Chris Okasaki
+* [_Purely Functional Data Structures_](http://www.cs.cmu.edu/~rwh/theses/okasaki.pdf) - Chris Okasaki
 * [_Ideal Hash Trees_](http://lampwww.epfl.ch/papers/idealhashtrees.pdf) - Phil Bagwell
 * [_RRB-Trees: Efficient Immutable Vectors_](http://infoscience.epfl.ch/record/169879/files/RMTrees.pdf) - Phil Bagwell, Tiark Rompf
 * [_The Reasoned Schemer_](http://www.amazon.com/The-Reasoned-Schemer-Daniel-Friedman/dp/0262562146) - Daniel P. Friedman, William E. Byrd

diff --git a/everything-david-nolen-mentioned.markdown b/everything-david-nolen-mentioned.markdown
@@ -1,10 +1,8 @@
 # Everything David Nolen Mentioned
 
-When watching [David Nolen's](http://twitter.com/swannodette) excellent [Lambda Jam](http://lambdajam.com) keynote [on InfoQ](http://www.infoq.com/presentations/learning-developer), the references to interesting reading come fast and furious.
+When watching [David Nolen's](http://twitter.com/swannodette) excellent [Lambda Jam](http://lambdajam.com) keynote 
+[on InfoQ](http://www.infoq.com/presentations/learning-developer), the references to interesting reading came a little too fast and furious for me to jot down, so I went through the slides and put this gist together.
 
-I figured as long as I was going to page through the slides and track
-down all the sources, I might as well put them in a gist where it might
-save somebody else some time.
 
 * _[The Dream Machine: J.C.R. Licklider and the Revolution That Made Computing Personal](http://www.amazon.com/The-Dream-Machine-Licklider-Revolution/dp/0670899763)_ - M. Mitchell Waldrop
 * [_Purely Function Data Structures_](http://www.cs.cmu.edu/~rwh/theses/okasaki.pdf) - Chris Okasaki
@@ -28,4 +26,4 @@ save somebody else some time.
 * [_Compilation Strategies as Objects_](http://citeseerx.ist.psu.edu/viewdoc/download;jsessionid=6E1F02C5BAAA9277BEF054D4EC1451E2?doi=10.1.1.43.8852&rep=rep1&type=pdf) - Anurag Mendhekar
 * [_Communication Sequential Processes_](http://www.usingcsp.com/cspbook.pdf) - C.A.R. Hoare
 * [_A Multi-threaded Higher-order User Interface Toolkit_](http://www.cs.tufts.edu/~nr/cs257/archive/john-reppy/exene.ps) - Emden R. Gansner and John H. Reppy
-* [_Functional Reactive Animation_](http://conal.net/papers/icfp97/icfp97.pdf) - Conal Elliott and Paul Hudak
+* [_Functional Reactive Animation_](http://conal.net/papers/icfp97/icfp97.pdf) - Conal Elliott and Paul Hudak
diff --git a/everything-david-nolen-mentioned.markdown b/everything-david-nolen-mentioned.markdown
@@ -1,6 +1,6 @@
 # Everything David Nolen Mentioned
 
-When watching [David Nolen's](twitter.com/swannodette) excellent [Lambda Jam](http://lambdajam.com) keynote [on InfoQ](http://www.infoq.com/presentations/learning-developer), the references to interesting reading come fast and furious.
+When watching [David Nolen's](http://twitter.com/swannodette) excellent [Lambda Jam](http://lambdajam.com) keynote [on InfoQ](http://www.infoq.com/presentations/learning-developer), the references to interesting reading come fast and furious.
 
 I figured as long as I was going to page through the slides and track
 down all the sources, I might as well put them in a gist where it might

diff --git a/everything-david-nolen-mentioned.markdown b/everything-david-nolen-mentioned.markdown
@@ -0,0 +1,31 @@
+# Everything David Nolen Mentioned
+
+When watching [David Nolen's](twitter.com/swannodette) excellent [Lambda Jam](http://lambdajam.com) keynote [on InfoQ](http://www.infoq.com/presentations/learning-developer), the references to interesting reading come fast and furious.
+
+I figured as long as I was going to page through the slides and track
+down all the sources, I might as well put them in a gist where it might
+save somebody else some time.
+
+* _[The Dream Machine: J.C.R. Licklider and the Revolution That Made Computing Personal](http://www.amazon.com/The-Dream-Machine-Licklider-Revolution/dp/0670899763)_ - M. Mitchell Waldrop
+* [_Purely Function Data Structures_](http://www.cs.cmu.edu/~rwh/theses/okasaki.pdf) - Chris Okasaki
+* [_Ideal Hash Trees_](http://lampwww.epfl.ch/papers/idealhashtrees.pdf) - Phil Bagwell
+* [_RRB-Trees: Efficient Immutable Vectors_](http://infoscience.epfl.ch/record/169879/files/RMTrees.pdf) - Phil Bagwell, Tiark Rompf
+* [_The Reasoned Schemer_](http://www.amazon.com/The-Reasoned-Schemer-Daniel-Friedman/dp/0262562146) - Daniel P. Friedman, William E. Byrd
+* [_type-inference.scm_](https://github.com/alvatar/sphere-logic/blob/e688e42854f29ea3674db2b4bd662a2bd493ff58/src/kanren/kanren/mini/type-inference.scm#L507)
+* [_Relational Programming in miniKanren: Techniques, Applications, and Implementations_](https://scholarworks.iu.edu/dspace/bitstream/handle/2022/8777/Byrd_indiana_0093A_10344.pdf) - William E. Byrd
+* [_Efficient representations for triangular substitutions: A comparison in miniKanren_](http://www.cs.indiana.edu/~lkuper/papers/walk.pdf) - David C. Bender, Lindsey Kuper, William E. Byrd, and Daniel P. Friedman
+* [_Equality for Prolog_](http://www.ijcai.org/Past%20Proceedings/IJCAI-83-VOL-1/PDF/120.pdf) - William A. Kornfeld
+* [_How to make ad-hoc polymorphism less ad-hoc_](http://homepages.inf.ed.ac.uk/wadler/papers/class/class.ps) - Philip Wadler and Stephen Blott
+* [_Nominal Logic Programming_](http://homepages.inf.ed.ac.uk/jcheney/publications/thesis-informal.ps) - James Cheney
+* [_Concepts, Techniques, and Models of Computer Programming_](http://www.amazon.com/Concepts-Techniques-Models-Computer-Programming/dp/0262220695) - Peter Van Roy
+* [_The Art of the Propagator_](http://dspace.mit.edu/bitstream/handle/1721.1/44215/MIT-CSAIL-TR-2009-002.pdf?sequence=1) - Alexey Radul and Gerald Jay Sussman
+* [_core.logic Sudoku Example_](https://github.com/clojure/core.logic/wiki/Examples)
+* [_Efficient Multiple and Predicate Dispatching_](http://www.cs.washington.edu/research/projects/cecil/pubs/dispatching.html) - Craig Chambers and Weimin Chen
+* [_Compiling Pattern Matching to good Decision Trees_](http://www.cs.tufts.edu/~nr/cs257/archive/luc-maranget/jun08.pdf) - Luc Maranget
+* [_Views: A way for pattern matching to cohabit with data abstraction_](http://homepages.inf.ed.ac.uk/wadler/papers/view/view.ps) - Phillip Wadler
+* [_Extensible Pattern Matching in an Extensible Language_](http://www.ccs.neu.edu/home/samth/match-ifl-full.pdf) - Sam Tobin-Hochstadt
+* [_The Art of the Metaobject Protocol_](http://www.amazon.com/The-Metaobject-Protocol-Gregor-Kiczales/dp/0262610744) - Gregor Kiczales, Jim des Rivieres, and Daniel G. Bobrow
+* [_Compilation Strategies as Objects_](http://citeseerx.ist.psu.edu/viewdoc/download;jsessionid=6E1F02C5BAAA9277BEF054D4EC1451E2?doi=10.1.1.43.8852&rep=rep1&type=pdf) - Anurag Mendhekar
+* [_Communication Sequential Processes_](http://www.usingcsp.com/cspbook.pdf) - C.A.R. Hoare
+* [_A Multi-threaded Higher-order User Interface Toolkit_](http://www.cs.tufts.edu/~nr/cs257/archive/john-reppy/exene.ps) - Emden R. Gansner and John H. Reppy
+* [_Functional Reactive Animation_](http://conal.net/papers/icfp97/icfp97.pdf) - Conal Elliott and Paul Hudak