Upcoming Schedule

• To: attend-types@theory.LCS.MIT.EDU, attend-logic@theory.LCS.MIT.EDU
• Subject: Upcoming Schedule
• From: Mitchell Wand <wand@corwin.ccs.northeastern.edu>
• Date: Fri, 30 Sep 88 20:46:52 EDT
• Sender: meyer@theory.LCS.MIT.EDU

Date: Thu, 29 Sep 88 10:28:16 EDT
To: lieber@corwin.ccs.northeastern.edu, abbas@corwin.ccs.northeastern.edu,
        zywang@bleys.lcs.mit.edu, woolf@eric.lcs.mit.edu,
        oliva@corwin.ccs.northeastern.edu, holland@corwin.ccs.northeastern.edu,
        riel@corwin.ccs.northeastern.edu, bwhite@umb.edu, gerald@grn.umb.edu,
        muller@bu-cs.bu.edu, kfoury@bu-cs.bu.edu, raf@bu-cs.bu.edu,
        snyder@bu-cs.bu.edu, trung@bu-cs.bu.edu, dsmith@cs.brandeis.edu,
        jmiller@cs.brandeis.edu, mairson@cs.brandeis.edu,
        pmo%icad.uucp@think.com, attend-types@theory.LCS.MIT.EDU,
        attend-logic@theory.LCS.MIT.EDU


The Semantics Seminar will meet on Wednesdays from 9:00 to 11:00 in Room 107
Cullinane at Northeastern.  All are invited to attend.

10/5	Mitch Wand	Type Inference for Multiple Inheritance
10/12	Bill White	Curien: The Categorical Abstract Machine

Coming attraction:
	Wayne Snyder	Higher-Order Unification

• Prev: talk at MIT: Curtis `Strong Typing in Scheme', 10/4/88
• Next: type theory and practice
• Index(es):
  • Main
  • Thread