Adam Sampson's scheme bookmarks

6.037 - Structure and Interpretation of Computer Programs edit / delete

"This fast-paced course covers the material in the classic book Structure and Interpretation of Computer Programs — a class previously known at MIT as 6.001."

to programming scheme sicp teaching ... on 19 April 2016

Peter Norvig edit / delete

Lots of interesting stuff related to the tags below (for want of a better description).

to ai amusements lisp programming python scheme ... on 26 August 2010

MzTake edit / delete

FRP-based debugger for MzScheme. Matt mentioned this as an example of a really neat debugging system; it'd be interesting to do something similar for occam programs.

to debugging research scheme software ... on 17 July 2009

ACL2 in DrScheme edit / delete

A theorem prover.

to formal-methods research scheme ... on 11 March 2006

How to Design Programs edit / delete

The better-known Scheme CS textbook.

to cs programming scheme teaching ... on 13 October 2005

Concrete Abstractions edit / delete

A CS introductory text using Scheme. Recommended by Matt.

to cs programming scheme teaching ... on 13 October 2005

Lukutoukka edit / delete

A GNOME app written in Scheme.