CS536: Resources

Textbook(s)

There is one required text for this course. Concepts in Programming Languages, John C. Mitchell, Cambridge University Press, 2003, ISBN 0521780985.

There is an optional text for the course. It is Elements of ML Programming, Jeffrey D. Ullman, Prentice Hall, 1998, ISBN 0137903871. If you do not get this text, you should read the SML tutorial that is in the SML Documents folder in the class master SourceForge project.

SourceForge class master

There is a project for this class on the WPI SourceForge site. If you are enrolled in the course and you have an account on SourceForge, I will add you automatically to the project. If you do not have a WPI SourceForge account, go to the site and register. Once that is done, I will add you to the project. This project is where you can get some of the course resources, including some software and reading materials. You can also use it for discussion forums.

Software

There are several language processors that we will use for this class. I will download various free packages and place them in the class master SourceForge project. When there are too many variations, or there are restrictions on downloading and redistributing them, I will place the link to them in the Links for on-line resources discussion of the SourceForge project.

Web resources

There are many places on the Web that contain useful resources for this course. This is a list of some of the ones that I think you may find helpful.

• John Mitchell's page for the textbook. The links for the errata and teaching material may be helpful.
• There is a great Common LISP book, Practical Common Lisp, that is on-line. There's also some very good CL source code with it.
• There is an interesting lambda tutorial with applets that show different types of reductions.
• A more detailed tutorial on the lambda calculus than the short one assigned for the readings can be found here.
• ML Notes. This is a really nice set of on-line notes and resources for ML.
• A new book is available in electronic form. Programming in Standard ML by Robert Harper.