CSE 505: Concepts of Programming Languages

Autumn 1997

Instructor: Alan Borning

TA: Josh Redstone

General Info

• Course Syllabus
• Running the Course Software

Slides from Lectures (postscript or text files)

• Introduction

Functional Programming

• Scheme Part I
• Scheme Part II
• ML
• Haskell Examples
• I/O in Purely Functional Langauges
• Applicative vs. Normal Order Evaluation
• Implementation of Functional Languages

Object-Oriented Programming

• Simula
• Smalltalk Introduction
• Smalltalk Basics
• Notes on Object-Oriented Design
• Metaclasses
• Prototype-Based Languages
• Types in Object-Oriented Languages
• Notes on Luca Cardelli, "A Semantics of Multiple Inheritance"
• Pizza
• Simula and Smalltalk: A term project from a previous 505 offering. This paper examines the social and political influences on the development of the Simula and Smalltalk languages.

Constraints

• Kaleidoscope
• CLP(R)

Assignments and Solutions

• Assignment 1 (due Oct 8)
• Assignment 1 - Solution
• Assignment 2 (due Oct 17)
• Assignment 2 - Solution
• Assignment 3 (due Oct 29)
• Assignment 3 - Solution
• Assignment 4 (due Nov 3)
• Assignment 4 - Solution
• Assignment 5 (due Nov 14)
• Assignment 5 - Solution
• Assignment 6 (due Nov 26)
• Assignment 7 (due Dec 12 -- this assignment has some hand-drawn figures; ask for a copy if you need one)
• Course Project

Tests

• Midterm
• Midterm Answer Key
• Final
• Final Answer Key

Creative Homework Solutions..

Sample Infinite Data Structure Examples

• Approximating PI

Previous Offerings of CSE 505

• Autumn 1994
• Autumn 1995
• Autumn 1996

Mailing List

We will be using a mailing list for administrative and instructional purposes.

• Send mail to the list at cse505@cs.washington.edu.
• To subscribe to the list, send email to majordomo@cs.washington.edu with the single line in the message body (not the subject):

  subscribe cse505

Useful Links

Functional Languages Resources

Scheme

• MIT's Scheme home page
• R⁴RS: Scheme Reference Manual (postscript, HTML)
• MIT Scheme User Manual

Standard ML

• CMU's Standard ML page
• Introduction to Standard ML
• A Gentle Introduction to ML
• Using the SML/NJ System
• Moscow ML Documentation

Haskell

• Haskell page
• A Gentle Introduction to Haskell
• Haskell FAQ
• Hugs User Manual

Object-Oriented Languages Resources

• University of Geneva's object-oriented programming info page
• UW's own Cecil project
• UW's own Constraint-Based Programming Systems projects
• Pizza (an extension of Java)

Array Languages

• ZPL. You can also try out ZPL using the "web-compiler" (submit programs for compilation through netscape) or by using the official UW installations.

Other References