Outline for CLU Report; sections assigned to EBM
6/30/77
Version 1

II. 8. Procedures
	A. form of procedure definition
	B. simple example used to review semantics of call, return
	C. multiple returns
	D. possible terminations (return, signal, run off end, etc.)

	Terms forward referenced:
		parameters, restrictions, cvt
	Terms defined:
		procedure header, procedure termination, unhandled exception,
		procedure definition, argument name

II. 9. Iterators
	A. Form of iterator definition
	B. simple example to review the semantics of iterator
	   call, yield, resume, and return
	C. multiple yield
	D. terminations (iter return, signal; loop body break, return, signal)

	Terms forward referenced:
		parameter, restriction, cvt
	Terms defined:
		iterator definition, iterator termination, resume,
		iterator header

II. 10. Clusters
	A. Form of cluster definition
	B. Semantics of cvt, up, and down
	C. Two examples: one very simple, one recursive type

	Terms forward referenced:
		parameter, restriction
	Terms defined:
		rep, is_list, internal (proc/iter/oper), cvt, up, down,
		exports, cluster

II. 11. Parameters
	A. the form of formal parameters
	B. What things are parameterized (clusters, procedures, iterators)
	C. the form of actual parameters, with examples
	D. examples of formal parameters and dependencies of parameters
	   on other parameters
	E. restrictions and typesets

	Terms defined:
		type generator, type parameter, cluster parameter,
		formal parameter, procedure/iterator generator, procedure/
		iterator parameter, restriction, where clause,
		typeset, constant, parameter dependent, scope,
		instantiation (of a generator)
