[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
==
Call for Papers
PPDP 2010
12th International AC
[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
Gentle colleagues
There has been a vigorous debate on the Types mailing list about
acceptance rates and criteria for POPL. Phil Wadler, as SIGPLAN
Chair, and a member of the POPL steering
[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
> If this proposal were to be accepted, we would need to figure out how
> to accommodate many more papers at the physical meeting. How to
> achieve this is secondary to my main proposal, b
