[Prev][Next][Index][Thread]

Upcoming Schedule



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