CS 541 units -*- Outline -*-

* Introductory

** introduction
	what the course is about

* paradigms
	a tour of the major paradigms

** object-oriented

*** smalltalk

*** object-oriented-design
	larger design issues, pragmatics

*** multi-methods
	an interesting research topic

** functional

*** haskell
	as intro to functional programming
	includes concrete data

** declarative

*** lambda-prolog

*** lambda-prolog-semantics

* Semantics

** Dynamic semantics

*** operational-semantics
	relation to compilers, rewrite rules, terminal transition systems

** Static semantics

*** types
	basics, data abstraction, polymorphism, type reconstruction

* review

* course-evaluations