6.037 - Structure and Interpretation of Computer Programs

"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

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

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

A theorem prover.

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

How to Design Programs

The better-known Scheme CS textbook.

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

Concrete Abstractions

A CS introductory text using Scheme. Recommended by Matt.

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

Lukutoukka

A GNOME app written in Scheme.

to scheme software ... on 14 May 2005

Tags related to scheme

- scheme
 
1 ai
1 amusements
2 cs
1 debugging
1 formal-methods
1 lisp
4 programming
1 python
2 research
7 scheme
1 sicp
2 software
3 teaching