[TYPES/announce] Final Call for Participation: TLDI'10
[ 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
[ 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