[TYPES/announce] APLAS 2012: Call for Posters and Demos

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] (Apologies for multiple copies.) 10th Asian Symposium on Programming Languages and Systems (APLAS 2012)

[TYPES/announce] Software Verification and Testing Track at ACM SAC 2013: last CfP

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] == 28th Annual ACM Symposium on Applied Computing Software Verification and Testing Track March 18 - 22, 2013, Coimbra, Portugal (Proceedings

[TYPES/announce] Book Announcement

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Dale Miller and I are happy to announce the recent publication of our book entitled Programming with Higher-Order Logic by Cambridge University Press. The table of contents and other details