[Pl-seminar] Semantics Seminar Schedule

[Mitchell Wand]

NU Programming Languages Seminar
Wednesday, January 28, 2004
306 Egan  Hall, Northeastern University
    (building 60 on http://www.campusmap.neu.edu/)  
1145-145. Bring your lunch.

Greg Morrisett

Harvard University

Tracking State Changes

Why can't a reference cell hold values of different type at different
program points?  I've been working on a type-and-effects framework
that aims for this goal without forcing references to be linear.  Part
of the goal is to unify and better understand what's behind the type
systems of Vault, C-Qual, TAL, Cyclone, Ownership types, etc.

Upcoming Events:

Volunteers needed for 2/11 et seq

--Mitch