simonbates + computerscience 54
Computational Thinking by Jeannette M. Wing
june 2008 by simonbates
Communications of the ACM, March 2006/Vol. 49, No. 3
computerscience
pdf
june 2008 by simonbates
Ten Years of Purely Functional Data Structures by Chris Okasaki
february 2008 by simonbates
blog post on the 10th anniversary of publishing his book "Purely Functional Data Structures"
functional
plt
datastructures
computerscience
books
february 2008 by simonbates
ACM Classic Books Series
january 2008 by simonbates
PDFs of some classic computing texts
books
computerscience
january 2008 by simonbates
Best LtU humour
august 2007 by simonbates
Q: How many Prolog programmers to change a lightbulb? A: no.
computerscience
august 2007 by simonbates
Church’s Thesis and Functional Programming by David Turner (PDF)
june 2007 by simonbates
introduction to programming language theory
computerscience
functional
programming
types
june 2007 by simonbates
Total Functional Programming by D.A.Turner (PDF)
february 2007 by simonbates
Journal of Universal Computer Science, vol. 10, no. 7 (2004), 751-768
functional
programming
computerscience
february 2007 by simonbates
An axiomatic basis for computer programming by C. A. R. Hoare
december 2006 by simonbates
Commun. ACM 12, 10 (Oct. 1969), 576-580.
computerscience
programming
december 2006 by simonbates
Great Works in Programming Languages
december 2006 by simonbates
Bibliography by Benjamin C. Pierce
computerscience
programming
papers
december 2006 by simonbates
Natural Deduction Reading for Beginners (Lambda the Ultimate)
december 2006 by simonbates
Reading list on logic
math
computerscience
december 2006 by simonbates
Computational Thinking by Philip Wadler
october 2006 by simonbates
A collection of pointers to material introducing computation
computerscience
october 2006 by simonbates
On the criteria to be used in decomposing systems into modules by David Parnas (PDF)
september 2006 by simonbates
Information hiding. Communications of the ACM 15, 12 (Dec. 1972), 1053-1058.
computerscience
programming
september 2006 by simonbates
On the role of scientific thought by E.W. Dijkstra (EWD 447)
september 2006 by simonbates
separation of concerns
computerscience
programming
ewd
september 2006 by simonbates
The Humble Programmer by E.W.Dijkstra (EWD 340)
september 2006 by simonbates
1972 ACM Turing Award lecture
programming
computerscience
september 2006 by simonbates
Foundations of Functional Programming by Lawrence C. Paulson (Cambridge) (PDF)
september 2006 by simonbates
Lecture notes: lambda calculus and combinators
computerscience
functional
september 2006 by simonbates
Electronic Digital Computers
july 2006 by simonbates
Letter to Nature, Vol 162, p. 487, September 25, 1948
computerscience
july 2006 by simonbates
related tags
algorithms ⊕ books ⊕ computerscience ⊖ datastructures ⊕ design ⊕ ewd ⊕ functional ⊕ google ⊕ history ⊕ java ⊕ javascript ⊕ lisp ⊕ math ⊕ media ⊕ microsoft ⊕ objectoriented ⊕ papers ⊕ pdf ⊕ people ⊕ plt ⊕ programming ⊕ reference ⊕ scheme ⊕ science ⊕ softwaredevelopment ⊕ technology ⊕ testing ⊕ types ⊕ video ⊕Copy this bookmark: