From: MEYER@MIT-MC Mon Sep 10 15:45:02 1984
Date: 10 September 1984 15:36-EDT
From:: Albert R. Meyer
Subject: Seminar on Types in Programming
To: (*MSG *MIT) @ MIT-MC

                             SEMINAR ANNOUNCEMENT:

                  GENERALIZED TYPES IN PROGRAMMING LANGUAGES

FIRST MEETING:	Friday, Sept. 14, 1984, 3:30-5:00.

PLACE:		NE43-315, MIT Lab. for Comp. Sci., 545 Tech. Sq., Cambridge.

ORGANIZER:	A.R. Meyer, Net Address: Meyer@@Mit-MC.Arpa, Phone: 253-6024.

A reading seminar about generalized types and type-checking; polymorphism;
classes, modules, and inheritance; and related notions appearing in current and
proposed programming languages.  The slant will be toward identifying the
underlying semantical problems raised by the desired programming features.  For
the first five weeks (during the visit of Prof. Boris Trakhtenbrot, Univ. of
Tel Aviv) we will present and discuss the papers below starting with the first
two:
----------------------------------------------------------------------------
1. Burstall, Rod M., ``Programming with modules as typed functional
programming'', PROC. INT'L. CONF. 5TH GENERATION COMPUTING SYSTEMS, Tokyo, to
appear.  Manuscript from Dept. of Computer Science, Univ. of Edinburgh, 1984.

2. Burstall, Rod M. and Butler Lampson, ``A Kernel language for abstract data
types and modules'', SEMANTICS OF DATA TYPES: PROCEEDINGS, (eds.) Kahn,
MacQueen and Plotkin, Springer-Verlag, Lect. Notes in Comp. Sci. 173, 1-50,
1984.

3. MacQueen, David, ``Modules for standard ML'', ACM SYMP. ON LISP AND
FUNCTIONAL LANGUAGES, 1984.

4. Mitchell, John C., ``Lambda Calculus Models of Typed Programming
Languages'', Ph.D. Thesis, MIT, Dept. of EECS, September, 1984.
--------------------------------------------------------------------

Meeting time for the first five weeks is Tue., Fri., 3:30-5:00, and Tue.
3:30-5:00 thereafter.  Reading course credit can be arranged.

**************************************************************************

From: WALTER%MIT-OZ@MIT-MC.ARPA Tue Sep 11 15:00:02 1984

Date: 11 Sep 1984  14:52 EDT (Tue)

From:: Walter Hamscher 

To:   *mac@MIT-MC

Subject: Seminar on Types in Lunches

                             SEMINAR ANNOUNCEMENT:

              GENERALIZED TYPES IN GRADUATE STUDENT LUNCHES

FIRST MEETING:	Friday, Sept. 14, 1984, 12:00 noon

PLACE:		MIT AI Lab Playroom, 545 Tech. Sq., Cambridge, MA, USA

ORGANIZER:	Walter Hamscher, (walter@oz)

FIRST WEEK
VOLUNTEERS:	Bonnie Dorr and Dave Braunegg

SUCCEEDING WEEKS
VOLUNTEERS:	To Be Announced

An eating seminar about generalized cold cuts and spread-recognition;
gluttonism, leftovers, and indigestion; related notions appearing
in current and proposed lunches, such as volunteers, menus, and
The Roosevelt Paradox ("There is no such thing as a free lunch")
will be discussed.  The slant will be toward identifying the
underlying digestional problems raised by the desired menu features.
For the first five minutes (during the visit of Prof. Gustav Fleischbrot,
Univ. of Essen) we will present and discuss the papers below starting
with the first two and concluding with the final two:

----------------------------------------------------------------------------
1. Burger, Chip N., ``The Nutritional Value of Pixels'',
PROC. INT'L. CONF. 5TH GENERATION INGESTION SYSTEMS, Tokyo, to
appear.  Manuscript from Dept. of Computer Science, Univ. of Sandwich, 1984.

2. Burger, Chip N. and Gelly Muffin, ``A Kernel language for abstract
feta cheese and noodles'', SEMANTICS OF FETA CHEESE: PROCEEDINGS, (eds.)
Cream, MacFried and Potstick, Springer-Verlag, Lect. Notes in Comp. Sci.
173, 1-50, 1984.

3. MacDonald, Ronald, ``Noodles for standard ML'', ACM SYMP. ON LINGUICA
AND LINGUINI, 1984.

4. Munchem, J. C., ``Lamb, D-Calories, Noodles, and Ripe Fruit'',
Ph.D. Thesis, MIT, Dept. of EECS, September, 1984.
--------------------------------------------------------------------

Meeting time for the first five minutes is Fri. 12:00-12:05, and
Friday 12:00-12:05 thereafter.  Aerobics course credit can be arranged.