Lambda the Ultimate

Teaching computer programming as a unified discipline with a practical scientific foundation
started 1/3/2003; 2:37:05 PM - last post 1/3/2003; 3:59:23 PM

Patrick Logan - Teaching computer programming as a unified discipline with a practical scientific foundation

1/3/2003; 2:37:05 PM (reads: 295, responses: 2)

This site has a draft of a new text book and other information towards teaching computer programming as a unified discipline with a practical scientific foundation.

The appoach is in the spirit, and an expansion on the ideas, of Structure and Interpretation of Computer Programs.

The foundation is the Mozart system using the Oz language, but also brings in concrete connections with Java, Prolog, Erlang, Haskell, and others.

Well done.

Ehud Lamm - Re: Teaching computer programming as a unified discipline with a practical scientific foundation

1/3/2003; 3:45:58 PM (reads: 322, responses: 0)

More here.

Patrick Logan - Re: Teaching computer programming as a unified discipline with a practical scientific foundation

1/3/2003; 3:59:23 PM (reads: 333, responses: 0)

Thanks for the link - I was sure some aspects of Mozart had been discussed, but a quick search did not turn up anything. I didn't try hard enough.