CSc 520 Resources

Scheme

• How to Design Programs
• Dr Scheme
• An Introduction to Scheme
• A Scheme Tutorial
• A Dr Scheme Tour
• A Dr Scheme Tutorial (for MacOS).
• Revised Report on the Algorithmic Language Scheme.
• Links to Information about Scheme
• Functional Programming with Scheme by Ken Slonneger and Barry Kurtz.

Haskell

• Haskell Home Page
• Hugs
• Hugs Users Guide
• A Gentle Introduction to Haskell
• Haskell On-Line Tutorial
• Haskell Homework Help
• Making Haskell programs faster and smaller

Lambda Calculus

• Chapter 5 of Formal Syntax and Semantics of Programming Languages, by Ken Slonneger and Barry Kurtz.

Language Semantics

• Chapter 1 (Specifying Syntax) of Formal Syntax and Semantics of Programming Languages, by Ken Slonneger and Barry Kurtz.
• Chapter 8 (Traditional Operational Semantics) of Formal Syntax and Semantics of Programming Languages, by Ken Slonneger and Barry Kurtz.
• Chapter 9 (Denotational Semantics) of Formal Syntax and Semantics of Programming Languages, by Ken Slonneger and Barry Kurtz.

Prolog

• GNU Prolog
• GNU Prolog Manual
• A Prolog Tutorial
• A Prolog Tutorial
• A Prolog Tutorial
• Links to Information about Prolog

Icon

• The Icon home page
• William Mitchell's Icon Notes, p. 1-28
• William Mitchell's Icon Notes, p. 29-53
• William Mitchell's Icon Notes, p. 54-94

Misc

• Emacs Guide
• Unix Guide

Articles about programming languages

• Beating the Averages
• A Brief History of LISP
• Growing a Language