Com S 541 units -*- Outline -*-

	1993 version

* Introductory

** introduction
	what the course is about
	in '93 and '94 was replaced by student discussion and presentations

** concepts-paradigms
	based on Watt's book of the same title

** syntax
	for students who haven't had syntax in 531

* paradigms
	a tour of the major paradigms

** distrib

*** sr
	the SR distributed programming language

** declarative
	overview of various forms of declarative languages,

**** lambda-calculus
	simply typed lambda calculus, untyped lambda calculus,
	mostly covered in discussions of SML and \Prolog in 1994-95

*** lambda-prolog

*** operational-semantics
	relation to compilers, rewrite rules, terminal transition systems
	only as a homework in '93
	extensively augmented and used in '94-95

** object-oriented

*** c++

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


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


*** standard-ML
	as intro to functional programming
	includes concrete data

*** functional-advanced
	functional programming techniques not covered above:
		streams and lazy data structures, reasoning

* Semantics

** types
	basics, data abstraction, polymorphism, type reconstruction
	module types
	used in '92 and somewhat in '93
	sml-type-inference.txt replaced this in '94-'95

* review

* course-evaluations