[talks] L Jia FPO

Melissa M Lawson mml at CS.Princeton.EDU
Wed Nov 7 10:33:28 EST 2007


Limin Jia will present her FPO on Wednesday November 14 at 3PM in Room 402.
The members of her committee are: David Walker, advisor; Andrew Appel and 
Frank Pfenning (CMU), readers; David August and David Blei, nonreaders. 
A copy of her thesis, "Linear Logic and Imperative Programming", is on display 
in room 310.  Everyone is invited to attend her talk.



More information about the talks mailing list