CS 541 Lecture -*- Outline -*-

* Final thoughts
	with auxilliary parameters one can simulate the store
	with continuations one can simulate arbitrary control
		=> can do imperative-style programming
			in a functional language!
	so advantage of a functional langauge must be
		in the *style* of programming
	read Hudak's paper on functional programming langauges

** research direction's in denotational semantics
	parallelism (see Schmidt chapter 12)
	semantics of higher-order data types
	full abstraction (see Schmidt page 246ff)
	more abstract kinds of domains (category theory?)