Tasty » Adam Sampson's scheme bookmarks

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.

to scheme software ... on 14 May 2005