[TYPES/announce] CFP: Foundations of Coordination Languages and Software Architectures (Deadline: June 3)

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] *** The 10th International Workshop on the Foundations of Coordination Languages and Software Architectures (FOCLASA 2011) A Satellite Worksh

[TYPES/announce] Request for Help for getting a Type Inferencer Right

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Dear all, I guess this is a somewhat unexpected request for a type theory list, but thought I would like to post it anyway. As an experiment, I implemented a small compiler for a language.