[TYPES/announce] An operational semantics for Scheme, in PLT Redex

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] As many of you know, the R6RS has recently been ratified by the Scheme community. Along with a much larger language, the Report now includes an operational semantics for a large portion of t

[TYPES/announce] LATA 2008: paper submission deadline extended

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] PAPER SUBMISSION DEADLINE EXTENDED TO NOVEMBER 23, 2007 ! *** 2nd INTERNATIONAL CONFERENCE ON LANGUAGE AND

[TYPES/announce] Call for Papers: TOOLS Europe 2008

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] TOOLS EUROPE 2008 46th International Conference

[TYPES/announce] ISMM 2008 Call for Papers

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] As an author who has previously published in ISMM, we would like to invite you to consider submitting a paper to ISMM 2008. The call for papers is below; if you are submitting a paper to PLD