Archives/papers-we-love_papers-we-love
1
0
Fork 0
mirror of https://github.com/papers-we-love/papers-we-love.git synced 2025-06-13 12:54:28 +00:00
Code Issues Projects Releases Wiki Activity

Merge pull request #76 from papers-we-love/clojurewest-papers

Browse Source 
Clojurewest papers
This commit is contained in:
Zeeshan Lakhani 2014-04-01 10:03:40 -04:00
commit 4c93e325c0
3 changed files with 18 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
plt/README.md
View File

@ -1,3 +1,9 @@
# Programming Language Theory
* [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)

9
testing/README.md Normal file
View File

@ -0,0 +1,9 @@
# Testing
## QuickCheck
[QuickCheck: A Lightweight Tool for Random Testing of Haskell Programs](http://www.cs.tufts.edu/~nr/cs257/archive/john-hughes/quick.pdf)
[QuickCheck Testing for Fun and Profit](http://people.inf.elte.hu/center/fulltext.pdf)
Property-Based Testing, best explained in John Hughes own talk at [ClojureWest 2014](https://www.youtube.com/watch?v=zi0rHwfiX1Q&list=PLZdCLR02grLp__wRg5OTavVj4wefg69hM).

3
user_interfaces/README.md Normal file
View File

@ -0,0 +1,3 @@
# User Interfaces
[Squeak: a Language for Communicating with Mice](http://ordiecole.com/squeak/cardelli_squeak1985.pdf)