[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
Types readers may find some harmless amusement in slides from a talk I gave at MFPS recently... http://www.cis.upenn.edu/~bcpierce/papers/harmful-mfps.pdf Enjoy, Benjamin