[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
On Sat, Jan 16, 2010 at 03:39:10PM +, Philip Wadler wrote:
> My experience matches Rajeev's. The process of a physical PC meeting
> necessarily requires quick decisions, often based on
[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
Hi, Phil.
FWIW, the POPL'11 PC also discussed this issue in detail when deciding
what kind of meeting we are going to hold this year. As you say, the
issue split people down the middle. I
[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
Following on from Rajeev Alur's e-mail, I want to make the following proposal:
- Replace the POPL physical PC meeting with an electronic one.
This proposal was discussed by the POPL Stee
[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
Dear Phil,
It has been interesting to see all these responses to the two-phase
proposal. I also think two-phase reviewing is not that great.
One additional drawback I see is that getting rej
