[TYPES/announce] CFP MSCS Issue: Dependently Typed Programming

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] (s:S)-(p:P s)*(s:S)-(p:P s)*(s:S)-(p:P s)*(s:S)-(p:P s)*(s:S)- (p:P s)* OPEN CALL FOR PAPERS for a Special Issue of

[TYPES/announce] PhD place at the FP lab, Nottingham

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] PhD place available A PhD position in the Functional Programming Laboratory (FP Lab) at the University of Nottingham starting January 2011 is available. The studentship is for 3 years, it