CS 541 units -*- Outline -*-

* Introductory

** introduction
	what the course is about

* paradigms
	a tour of the major paradigms

** functional
	might also want lambda calculus or type checking here

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

* Semantics

** Structure of typed programming languages
	units based on Schmidt's book

*** corelang

*** abstraction

*** parameterization


* object-oriented

** smalltalk

** object-oriented-design

* Semantics

** Structure of typed programming languages
	units based on Schmidt's book

*** qualification

*** records-lambda


* review

* course-evaluations