Pinboard (simonbates)
https://pinboard.in/u:simonbates/public/
recent bookmarks from simonbatesPerlisisms - "Epigrams in Programming" by Alan J. Perlis2011-07-14T02:08:51+00:00
http://www.cs.yale.edu/quotes.html
simonbatescomputerscience softwaredevelopment programminghttps://pinboard.in/https://pinboard.in/u:simonbates/b:f2eae5e52486/An Interview with Robin Milner2011-01-05T15:26:06+00:00
http://www.informatics.sussex.ac.uk/users/mfb21/interviews/milner/
simonbatescomputerscience peoplehttps://pinboard.in/u:simonbates/b:ea28dae38195/Computational Thinking by Jeannette M. Wing2008-06-01T13:08:21+00:00
http://www.cs.cmu.edu/afs/cs/usr/wing/www/publications/Wing06.pdf
simonbatescomputerscience pdfhttps://pinboard.in/u:simonbates/b:00068b050cf8/Ten Years of Purely Functional Data Structures by Chris Okasaki2008-02-15T15:22:47+00:00
http://okasaki.blogspot.com/2008/02/ten-years-of-purely-functional-data.html
simonbatesfunctional plt datastructures computerscience bookshttps://pinboard.in/u:simonbates/b:a53be25d1218/ACM Classic Books Series2008-01-16T14:07:32+00:00
http://portal.acm.org/toc.cfm?id=SERIES11430&type=series&coll=ACM&dl=ACM
simonbatesbooks computersciencehttps://pinboard.in/u:simonbates/b:49a795424534/A Review of A Commuications Primer by Charles and Ray Eames (Grand Text Auto)2007-11-12T22:11:00+00:00
http://grandtextauto.org/2007/10/21/20th-century-communication/
simonbatesdesign media computersciencehttps://pinboard.in/u:simonbates/b:80f37e88322a/Best LtU humour2007-08-02T16:16:41+00:00
http://lambda-the-ultimate.org/node/2357
simonbatescomputersciencehttps://pinboard.in/u:simonbates/b:2cc058faa420/Church’s Thesis and Functional Programming by David Turner (PDF)2007-06-28T18:43:31+00:00
http://www.cs.kent.ac.uk/people/staff/dat/miranda/ctfp.pdf
simonbatescomputerscience functional programming typeshttps://pinboard.in/u:simonbates/b:2441c1510a1a/The expression problem, Scandinavian style by Erik Ernst (PDF)2007-06-15T20:35:02+00:00
http://www.i3s.unice.fr/maspeghi2004/final-version/e_ernst.pdf
simonbatescomputerscience objectoriented functionalhttps://pinboard.in/u:simonbates/b:300465f068e5/Can Programming Be Liberated from the von Neumann Style? A Functional Style and Its Algrbra of Programs by John Backus (PDF)2007-06-12T13:23:41+00:00
http://www.stanford.edu/class/cs242/readings/backus.pdf
simonbatescomputerscience functional programminghttps://pinboard.in/u:simonbates/b:2a49b90245c6/Ed Felten: Why Understanding Programs is Hard (Lambda the Ultimate)2007-06-12T13:06:11+00:00
http://lambda-the-ultimate.org/node/2097
simonbatescomputerscience programminghttps://pinboard.in/u:simonbates/b:bd52110cc383/Essentials of Programming Languages, 2nd ed2007-06-12T13:03:18+00:00
http://www.cs.indiana.edu/eopl/
simonbatesprogramming computerscience bookshttps://pinboard.in/u:simonbates/b:16ee6abdb177/Finite State Machines in Forth by J. V. Noble2007-06-12T12:56:47+00:00
http://dec.bournemouth.ac.uk/forth/jfar/vol7/paper1/paper.html
simonbatesalgorithms computersciencehttps://pinboard.in/u:simonbates/b:34562f59a2d2/JavaScript Closures for Dummies | Developing thoughts — Morris Johns2007-05-28T14:55:16+00:00
http://blog.morrisjohns.com/javascript_closures_for_dummies
simonbatesjavascript functional programming computersciencehttps://pinboard.in/u:simonbates/b:4419843592e5/Daniel P Friedman: A Celebration2007-02-22T15:02:45+00:00
http://www.cs.indiana.edu/dfried_celebration.html
simonbatescomputerscience video lisp scheme programminghttps://pinboard.in/u:simonbates/b:2da3b05fbc28/Guy Steele: Dan Friedman--Cool Ideas (Dan Friedman's 60th Birthday) Google Video2007-02-22T15:02:10+00:00
http://video.google.com/videoplay?docid=-4633168320660258097&hl=en
simonbatescomputerscience scheme videohttps://pinboard.in/u:simonbates/b:1c34ebec3e04/Shape analysis for composite data structures by Josh Berdine, Cristiano Calcagno, Byron Cook, Dino Distefano, Peter O'Hearn, Thomas Wies, Hongseok Yang2007-02-22T14:58:54+00:00
http://research.microsoft.com/research/pubs/view.aspx?0rc=p&type=technical+report&id=1255
simonbatescomputerscience microsofthttps://pinboard.in/u:simonbates/b:6a96db3e2909/Almost everything happened in the Golden Age, right? (Lambda the Ultimate)2007-02-12T14:41:49+00:00
http://lambda-the-ultimate.org/node/2059
simonbatescomputerscience programming softwaredevelopmenthttps://pinboard.in/u:simonbates/b:dc1b33358356/Total Functional Programming by D.A.Turner (PDF)2007-02-06T17:27:32+00:00
http://www.jucs.org/jucs_10_7/total_functional_programming/jucs_10_07_0751_0768_turner.pdf
simonbatesfunctional programming computersciencehttps://pinboard.in/u:simonbates/b:4daed4e7c23e/Collaborative Diffusion: Programming Antiobjects by Alexander Repenning (PDF)2007-01-04T15:14:37+00:00
http://www.cs.colorado.edu/~ralex/papers/PDF/OOPSLA06antiobjects.pdf
simonbatescomputerscience objectoriented programminghttps://pinboard.in/u:simonbates/b:de3ce3b60a19/JavaGI: Generalized Interfaces for Java by Stefan Wehr and Ralf Lämmel and Peter Thiemann2007-01-04T15:00:50+00:00
http://homepages.cwi.nl/~ralf/JavaGI/
simonbatescomputerscience programming types javahttps://pinboard.in/u:simonbates/b:7dfedc457d68/A modern eye on ML Type Inference by Francois Pottier (INRIA) (PDF)2007-01-04T14:41:38+00:00
http://cristal.inria.fr/~fpottier/publis/fpottier-appsem-2005.pdf
simonbatescomputerscience functional programming typeshttps://pinboard.in/u:simonbates/b:3e4e933f0de5/Google Research Picks for Videos of the Year 2006 (Official Google Research Blog)2007-01-03T14:59:49+00:00
http://googleresearch.blogspot.com/2006/12/google-research-picks-for-videos-of.html
simonbatesgoogle computerscience programming science technology videohttps://pinboard.in/u:simonbates/b:9062da4c1917/Teaching Discrete Mathematics via Primary Historical Sources2006-12-18T22:50:09+00:00
http://www.math.nmsu.edu/hist_projects/
simonbatesmath computerscience historyhttps://pinboard.in/u:simonbates/b:3a816092cbe2/What's in a name? by Robin Milner (PDF)2006-12-18T17:31:44+00:00
http://www.cl.cam.ac.uk/~rm135/wosname.pdf
simonbatescomputersciencehttps://pinboard.in/u:simonbates/b:b712aba7914d/An axiomatic basis for computer programming by C. A. R. Hoare2006-12-18T17:22:31+00:00
http://doi.acm.org/10.1145/363235.363259
simonbatescomputerscience programminghttps://pinboard.in/u:simonbates/b:926eea4bca86/Benjamin C. Pierce2006-12-18T16:44:09+00:00
http://www.cis.upenn.edu/~bcpierce/
simonbatespeople computersciencehttps://pinboard.in/u:simonbates/b:7baaf533d9a6/Great Works in Programming Languages2006-12-18T15:51:23+00:00
http://www.cis.upenn.edu/~bcpierce/courses/670Fall04/GreatWorksInPL.shtml
simonbatescomputerscience programming papershttps://pinboard.in/u:simonbates/b:3f6fabf489db/Natural Deduction Reading for Beginners (Lambda the Ultimate)2006-12-11T16:56:20+00:00
http://lambda-the-ultimate.org/node/1892
simonbatesmath computersciencehttps://pinboard.in/u:simonbates/b:1378b1538ac2/Typed Assembly Language2006-12-10T02:46:44+00:00
http://www.cs.cornell.edu/talc/
simonbatescomputerscience typeshttps://pinboard.in/u:simonbates/b:7fa7b3f4f195/You can write, but can you type? by Bertrand Meyer2006-12-10T01:56:26+00:00
http://archive.eiffel.com/doc/manuals/technology/bmarticles/joop/type.html
simonbatescomputerscience objectoriented programming typeshttps://pinboard.in/u:simonbates/b:a950e751f577/Dictionary of Algorithms and Data Structures (NIST)2006-12-06T01:34:26+00:00
http://www.nist.gov/dads/
simonbatescomputerscience algorithms datastructures referencehttps://pinboard.in/u:simonbates/b:5370c4cba7aa/Computational Thinking by Philip Wadler2006-10-03T15:43:34+00:00
http://homepages.inf.ed.ac.uk/wadler/compthink.html
simonbatescomputersciencehttps://pinboard.in/u:simonbates/b:6124f65201a6/On the criteria to be used in decomposing systems into modules by David Parnas (PDF)2006-09-25T15:53:05+00:00
http://doi.acm.org/10.1145/361598.361623
simonbatescomputerscience programminghttps://pinboard.in/u:simonbates/b:7abb5176674b/On the role of scientific thought by E.W. Dijkstra (EWD 447)2006-09-25T15:50:02+00:00
http://www.cs.utexas.edu/users/EWD/transcriptions/EWD04xx/EWD447.html
simonbatescomputerscience programming ewdhttps://pinboard.in/u:simonbates/b:6c6efc9e0c9f/Extra, Extra - Read All About It: Nearly All Binary Searches and Mergesorts are Broken by Joshua Bloch (Google Research Blog)2006-09-20T13:23:16+00:00
http://googleresearch.blogspot.com/2006/06/extra-extra-read-all-about-it-nearly.html
simonbatescomputerscience java google testinghttps://pinboard.in/u:simonbates/b:c2a73a5bcc7d/arXiv.org2006-09-19T13:56:01+00:00
http://arxiv.org/
simonbatespapers computerscience math sciencehttps://pinboard.in/u:simonbates/b:1fafd10259a3/The Humble Programmer by E.W.Dijkstra (EWD 340)2006-09-04T19:38:33+00:00
http://www.cs.utexas.edu/users/EWD/transcriptions/EWD03xx/EWD340.html
simonbatesprogramming computersciencehttps://pinboard.in/u:simonbates/b:1d498612064d/Foundations of Functional Programming by Lawrence C. Paulson (Cambridge) (PDF)2006-09-04T15:33:13+00:00
http://www.cl.cam.ac.uk/~lp15/papers/Notes/Founds-FP.pdf
simonbatescomputerscience functionalhttps://pinboard.in/u:simonbates/b:4b1c2fa55c68/Why Functional Programming Matters by John Hughes2006-09-04T14:46:10+00:00
http://www.math.chalmers.se/~rjmh/Papers/whyfp.html
simonbatescomputerscience functional programminghttps://pinboard.in/u:simonbates/b:08744ef206ea/Computability and Complexity (Stanford Encyclopedia of Philosophy)2006-09-04T14:30:46+00:00
http://plato.stanford.edu/entries/computability/
simonbatescomputersciencehttps://pinboard.in/u:simonbates/b:a558bce39313/Theory of computation (Wikipedia)2006-09-04T14:23:41+00:00
http://en.wikipedia.org/wiki/Theory_of_computation
simonbatescomputersciencehttps://pinboard.in/u:simonbates/b:6cc9c1b0676d/Turing Machines (Stanford Encyclopedia of Philospohy)2006-09-04T13:58:18+00:00
http://plato.stanford.edu/entries/turing-machine/
simonbatescomputersciencehttps://pinboard.in/u:simonbates/b:af6cf43858fa/Introduction to Lambda Calculus by Henk Barendregt and Erik Barendsen2006-09-01T01:20:58+00:00
http://citeseer.ist.psu.edu/barendregt94introduction.html
simonbatescomputersciencehttps://pinboard.in/u:simonbates/b:153e9d50c9cd/An Introduction to Lambda Calculus and Scheme by Jim Larson2006-09-01T01:17:48+00:00
http://www.jetcafe.org/~jim/lambda.html
simonbatescomputerscience schemehttps://pinboard.in/u:simonbates/b:f7cb418b93e9/Free On-Line Dictionary Of Computing (FOLDOC)2006-08-21T18:15:23+00:00
http://foldoc.org/
simonbatescomputerscience referencehttps://pinboard.in/u:simonbates/b:300d794215e7/Google engEDU videos2006-08-11T13:33:42+00:00
http://video.google.com/videosearch?q=genre%3Aeducational++Google+engEDU
simonbatescomputerscience google videohttps://pinboard.in/u:simonbates/b:5caf7322629e/Socially Responsive, Environmentally Friendly Logic by Samson Abramsky (PDF)2006-07-11T13:04:33+00:00
http://web.comlab.ox.ac.uk/oucl/work/samson.abramsky/sandu.pdf
simonbatescomputersciencehttps://pinboard.in/u:simonbates/b:f753bafc503b/E.W.Dijkstra Archive2006-07-06T13:02:14+00:00
http://www.cs.utexas.edu/users/EWD/
simonbatespeople computersciencehttps://pinboard.in/u:simonbates/b:819ff97893ea/Under the spell of Leibniz's Dream by E.W.Dijkstra (EWD 1298)2006-07-06T13:00:16+00:00
http://www.cs.utexas.edu/users/EWD/transcriptions/EWD12xx/EWD1298.html
simonbatescomputersciencehttps://pinboard.in/u:simonbates/b:d1d1b8fb179a/The Method of Mathematics by Gottfried Wilhelm Leibniz2006-07-06T12:59:08+00:00
http://www.rbjones.com/rbjpub/philos/classics/leibniz/meth_math.htm
simonbatescomputersciencehttps://pinboard.in/u:simonbates/b:abeb9e0dae98/50th Anniversary of the Manchester Baby computer2006-07-06T12:57:08+00:00
http://www.computer50.org/
simonbatescomputersciencehttps://pinboard.in/u:simonbates/b:580bbd1b9b45/Electronic Digital Computers2006-07-06T12:54:42+00:00
http://www.computer50.org/kgill/mark1/natletter.html
simonbatescomputersciencehttps://pinboard.in/u:simonbates/b:20d436536137/Leibnitiana2006-07-06T12:53:04+00:00
http://www.hfac.uh.edu/gbrown/philosophers/leibniz/
simonbatespeople computersciencehttps://pinboard.in/u:simonbates/b:3b801cb0c93a/