[TYPES/announce] Special Issue of Quantitative Aspects of Programming Languages and Systems
[ 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
[ 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