Re: [TYPES/announce] POPL 2010: early registration and hotel reservation deadlines approaching!

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] [ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Dear all, We would like to remind you that the early registration and hotel

[TYPES/announce] Call for Participation - PEPM'10 (co-located with POPL'10)

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] === CALL FOR PARTICIPATION ACM SIGPLAN 2010 Workshop on Partial Evaluation and

[TYPES/announce] Call for papers: Workshop on Termination (WST 2009)

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Discussion of type-based approaches for dealing with termination would be very much welcome! . Tenth International