meeting -*- Outline -*-

* means of abstraction
** naming
   Q: How should we name expressions and procedures?
      in Oz, use variable identifiers (UppercaseStart)
   Q: Do we want to have local declarations within expressions?
      in Oz: yes (with local D in S end)
** parameterization and function declarations
   Q: How should we declare parameters for procedures?
      work by analogy to Java
   Q: Can we unify the two kinds of declarations?

** results from our discussion

	main differences from Scheme were the following in 2001:
               Dorothy   vs.     Oz
               =======================
	       fun               fun
               true              true
               false             false
               'c'               &c
                                 no return statement
                                 recordName(1 2 3) recordName(x:1 y:2 z:3)
                                 while B do S end