[Pl-seminar] Semantics Seminar Schedule

Mitchell Wand wand at ccs.neu.edu
Fri Jan 30 10:10:13 EST 2004


**note corrected date, also new room**

NU Programming Languages Seminar
Wednesday, **February 4**, 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




More information about the pl-seminar mailing list