[TYPES/announce] Final Call for Participation: TLDI'10

2009-12-22 Thread Andrew Kennedy
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] * FINAL CALL FOR PARTICIPATION TLDI 2010

[TYPES/announce] Postdoc position available at MPI-SWS in Type Systems and Functional Programming Group

2009-12-22 Thread Derek Dreyer
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] We invite applications for a full-time postdoctoral research position in the Type Systems and Functional Programming Group, headed by Derek Dreyer, at the Max Planck Institute for Software S