Re: [TYPES/announce] Two phase reviewing for POPL; a response

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Dear typists, as many of you know Jens Palsberg sent out a brief survey to the authors of POPL 2010 submissions on behalf of the SC. Several expressed a dislike for non-anonymous surveys

[TYPES/announce] CfP: ESOP 2013

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Call for Papers ESOP 2013: The European Symposium on Programming http://www.ccs.neu.edu/esop2013/

[TYPES/announce] the Racket summer school of semantics and languages

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] The Racket Summer School of Semantics and Languages Last Call Imagine yourself confronted with a Mystery Programming Language and charged with the task of figuring