[TYPES/announce] Special Issue of Quantitative Aspects of Programming Languages and Systems

2010-09-30 Thread Gethin Norman
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] - Special Issue of THEORETICAL COMPUTER SCIENCE on Qu

[TYPES/announce] FOOL 2010 Call for Participation

2010-09-30 Thread Jeremy Siek
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] CALL FOR PARTICIPATION 2010 International Workshop on Foundations of Object-Oriented Languages (FOOL