2007 Archives by author

• Messages sorted by: [ thread ] [ subject ] [ date ]
• More info on this list...

Starting: Mon Jan 22 16:03:28 EST 2007
Ending: Tue Dec 18 14:32:24 EST 2007
Messages: 62

• [Pl-seminar] Wadler's Blog: Oh no! Alligators!   Eli Barzilay
• [Pl-seminar] Fwd: 2009 ACL2 workshop dates   Carl Eastlund
• [Pl-seminar] Next NEPLS: Thurs Oct 18 -- Call for Submissions   Kathi Fisler
• [Pl-seminar] Reminder: NEPLS talk proposals due in 8 days   Kathi Fisler
• [Pl-seminar] Call for NEPLS participation (Oct 18) -- schedule and new format   Kathi Fisler
• [Pl-seminar] NEPLS: 2nd Call for Participation   Kathi Fisler
• [Pl-seminar] NEPLS Business Meeting News   Shriram Krishnamurthi
• [Pl-seminar] Demeter Seminar on Structure-Shy Programming   Karl Lieberherr
• [Pl-seminar] Demeter Seminar on Structure-Shy Programming   Karl Lieberherr
• [Pl-seminar] CFP: ISMM'07   Greg Morrisett
• [Pl-seminar] GPCE'07 Call for Papers   Emir Pasalic
• [Pl-seminar] GPCE'07: Calls for Tutorials/Workshops   Emir Pasalic
• [Pl-seminar] Call for Papers: Generative Programming and Component Engineering (GPCE'07)   Emir Pasalic
• [Pl-seminar] Semantics Seminar Schedule   Mitchell Wand
• [Pl-seminar] [Scheme Steering Committee announcements] Scheme: Second R6RS draft published   Mitchell Wand
• [Pl-seminar] Fwd: [PRL] Backus passes away at 82   Mitchell Wand
• [Pl-seminar] Semantics Seminar Schedule   Mitchell Wand
• [Pl-seminar] Report from R6RS Editors Committee   Mitchell Wand
• [Pl-seminar] Proposed Ratification Procedure for R6RS   Mitchell Wand
• [Pl-seminar] Proposed Ratification Procedure for R6RS   Mitchell Wand
• [Pl-seminar] Semantics Seminar Schedule   Mitchell Wand
• [Pl-seminar] Fwd: IBM PL Day, Mon, May 7, 2007   Mitchell Wand
• [Pl-seminar] Semantics Seminar Schedule   Mitchell Wand
• [Pl-seminar] Semantics Seminar Schedule   Mitchell Wand
• [Pl-seminar] IBM PL Day call for participation   Mitchell Wand
• [Pl-seminar] Millstein @ MIT 6/4/07   Mitchell Wand
• [Pl-seminar] Fwd: IBM PL Day home page   Mitchell Wand
• [Pl-seminar] Wadler's Blog: Oh no! Alligators!   Mitchell Wand
• [Pl-seminar] Semantics Seminar Schedule   Mitchell Wand
• [Pl-seminar] Talk TODAY: Correctness by Construction of High-Integrity Software   Mitchell Wand
• [Pl-seminar] [CHANGE OF DATE] van Horn at NU PL-seminar   Mitchell Wand
• [Pl-seminar] [Scheme Steering Committee announcements] Voter registration for R6RS opens; R5.93RS to be released on May 22.   Mitchell Wand
• [Pl-seminar] Semantics Seminar Schedule   Mitchell Wand
• [Pl-seminar] Fwd: Conversations with Functional Programmers, Friday June 1, Harvard   Mitchell Wand
• [Pl-seminar] Fwd: Conversations with Functional Programmers, Friday June 1, Harvard   Mitchell Wand
• [Pl-seminar] Semantics Seminar Schedule   Mitchell Wand
• [Pl-seminar] Semantics Seminar Schedule   Mitchell Wand
• [Pl-seminar] Semantics Seminar Schedule   Mitchell Wand
• [Pl-seminar] [Scheme Steering Committee announcements] Will Clinger has resigned from the Editors Committee   Mitchell Wand
• [Pl-seminar] [Scheme Steering Committee announcements] Important: Schedule for Registration and Voting on R6RS   Mitchell Wand
• [Pl-seminar] Semantics Seminar Schedule   Mitchell Wand
• [Pl-seminar] Semantics Seminar Schedule   Mitchell Wand
• [Pl-seminar] [Scheme Steering Committee announcements] R6RS Errata and Electorate; Voting Schedule   Mitchell Wand
• [Pl-seminar] Guy Steele at GBC/ACM/IEEE-CS 9/20/07   Mitchell Wand
• [Pl-seminar] [Scheme Steering Committee announcements] R6RS Ratified   Mitchell Wand
• [Pl-seminar] Semantics Seminar Schedule   Mitchell Wand
• [Pl-seminar] Fwd: Post-doctoral research associate in program verification   Mitchell Wand
• [Pl-seminar] [Scheme Steering Committee announcements] R6RS Released   Mitchell Wand
• [Pl-seminar] Semantics Seminar Schedule   Mitchell Wand
• [Pl-seminar] Fwd: Call for NEPLS participation (Oct 18) -- schedule and new format   Mitchell Wand
• [Pl-seminar] Semantics Seminar Schedule   Mitchell Wand
• [Pl-seminar] Talk: Greg Malewicz on MapReduce, Wednesday, Oct. 24, 10:30am   Mitchell Wand
• [Pl-seminar] Research talk at BC 11/02/07   Mitchell Wand
• [Pl-seminar] Semantics Seminar Schedule   Mitchell Wand
• [Pl-seminar] Semantics Seminar Schedule   Mitchell Wand
• [Pl-seminar] Semantics Seminar Schedule   Mitchell Wand
• [Pl-seminar] Semantics Seminar Schedule   Mitchell Wand
• [Pl-seminar] Barabasi at NU, Mon 11/26   Mitchell Wand
• [Pl-seminar] Semantics Seminar Schedule   Mitchell Wand
• [Pl-seminar] Jim Waldo seminar at Harvard TODAY   Mitchell Wand
• [Pl-seminar] Thesis Defense: Automating Modular Program Verification by Refining Specifications TODAY   Mitchell Wand
• [Pl-seminar] Semantics Seminar Schedule   Mitchell Wand

Last message date: Tue Dec 18 14:32:24 EST 2007
Archived on: Tue Dec 18 14:32:42 EST 2007

• Messages sorted by: [ thread ] [ subject ] [ date ]
• More info on this list...