UMass logo
CMPSCI 630 (691F)
Programming Languages
Spring 2009

Course Syllabus
Subject to Change

To View the Notes:

Lecture overheads are available in Portable Document Format (PDF) files. Initially notes will only be provided in a 6-per-page (6-up) layout. If you would like to have other formats or layouts, please let us know.

For the Portable Document Format (PDF), you can download a free Adobe Acrobat Reader for viewing the files outside your browser, or you can configure your browser with an Acrobat plug-in for reading the notes on-line.


LectureDateTopicNotes
1 Mo 01/26

Introduction and Administrative Details

Introduction-PDF
2 We 01/28

CANCELLED: Snow Day

3 Mo 02/02

Inductive Definitions

Inductive-PDF
4 We 02/04

Syntax - Part 1

Syntax1-PDF
5 Mo 02/09

Syntax - Part 2

Syntax2-PDF
6 We 02/11

Static and Dynamic Semantics

Semantics-PDF
7 We 02/18

Type Safety

Safety-PDF
8 Mo 02/23

Alternative Dynamic Semantics

AltSem-PDF
9 We 02/25

CANCELLED

10 Mo 03/02

CANCELLED: Snow Day

11 We 03/04

Product and Sum Types

ProductSum-PDF
12 Mo 03/09

Pattern Matching

Patterns-PDF
13 We 03/11

Function Types

Functions-PDF
14 Mo 03/23

Scala

Scala1-PDF
15 We 03/25

Scala (continued)

Scala2-PDF
16 Mo 03/30

Recursive Functions

RecursiveFunctions-PDF
17 We 04/01

Recursive Data Types

RecType-PDF
18 Mo 04/06

Dynamic Typing

DynType-PDF
19 We 04/08

Polymorphism and Universal Types

PolymorphismAndUniversalTypes-PDF
20 Mo 04/13

Data Abstraction and Existential Types

Exist-PDF
21 We 04/15

Abstract Machines

AbstractMachines-PDF
22 Tu 04/21

Exceptions and Continuations

ExceptionsAndContinuations-PDF
23 We 04/22

Subtyping

Subtyping-PDF
24 Mo 04/27

State: Fluid Binding and References

FluidBindingAndRefs-PDF
25 We 04/29

Featherweight Java

FJ-PDF
26 Mo 05/04

Dynamic Classification and Monads

Monads-PDF
27 We 05/06

Formal Foundations for Scala

Nominal-PDF
28 Mo 05/11

Course Summary

CoreCalculus-PDF ; Summary-PDF

E-mail the instructor

Return to the 630 main page


Last modified: Mon May 11 11:30 EST 2009
By wileden@cs.umass.edu.