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?
      give them names in the declaration
   Q: Can we unify the two kinds of declarations?
      yes, 
           Name = proc {$ X Y} S end
       means same thing as
           proc {Name X Y} S end

** results from our discussion

	main differences from Scheme were the following in 2001:
               Dorothy   vs.     Oz
               =======================
	       fun               fun
               true              true
               false             false
               &c                &c
                                 recordName(1 2 3) recordName(x:1 y:2 z:3)