2012 Archives by thread

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

Starting: Tue Jan 3 19:12:10 EST 2012
Ending: Tue Dec 11 17:10:43 EST 2012
Messages: 39

• [Pl-seminar] Presentation by Adam Chlipala on Ur/Web on Wednesday, Jan. 11, from 6-8pm at Harvard   Alley Stoughton
• [Pl-seminar] Fwd: [MIT-PL] 1/20: Ben Livshits on multi-execution   Mitchell Wand
  • [Pl-seminar] Colloquium: Policy Analysis, an Application of Programming Language Technology   Matthias Felleisen
• [Pl-seminar] 1/19: Derek Dreyer, "The Marriage of Bisimulations and Kripke Logical Relations"   Aaron Turon
  • [Pl-seminar] reminder: Policy Analysis, an Application of Programming Language Technology   Matthias Felleisen
  • [Pl-seminar] 2/7: Mike Dodds, "Recovering Disjointness from Concurrent Sharing"   Aaron Turon
    • [Pl-seminar] Fwd: NEPLS on June 1   Mitchell Wand
    • [Pl-seminar] CFP for IBM Programming Languages Day (joint w/ NEPLS and NJPLS)   Shriram Krishnamurthi
      • [Pl-seminar] Fwd: CFP for IBM Programming Languages Day (joint w/ NEPLS and NJPLS)   Mitchell Wand
  • [Pl-seminar] Fwd: NEPLS deadline   Mitchell Wand
    • [Pl-seminar] NEPLS deadline: May 1   Mitchell Wand
• [Pl-seminar] 5/3: Ian Zerny, "A Walk through the Semantic Park with Light Steps"   Aaron Turon
  • No subject  
  • No subject  
• [Pl-seminar] Boston Lisp Meeting: Thursday 2012-05-17 Zach Beane on Quicklisp   Francois-Rene Rideau
  • [Pl-seminar] Fwd: NEPLS deadline: Tomorrow   Mitchell Wand
    • [Pl-seminar] NEPLS Program   Mitchell Wand
• [Pl-seminar] Fwd: IBM Programming Languages Day updates (please distribute)   Shriram Krishnamurthi
  • [Pl-seminar] Fwd: IBM Programming Languages Day updates (please distribute)   Mitchell Wand
• [Pl-seminar] [REMINDER] Boston Lisp Meeting: Thursday 2012-05-17 Zach Beane on Quicklisp   Francois-Rene Rideau
• [Pl-seminar] 5/21: Jacob Thamsborg, "A Concurrent Logical Relation"   Aaron Turon
  • [Pl-seminar] Fwd: NEPLS registration   Mitchell Wand
• [Pl-seminar] Fwd: PL Day 2012 program   Shriram Krishnamurthi
  • [Pl-seminar] Fwd: PL Day 2012 program @ IBM Yorktown   Mitchell Wand
• [Pl-seminar] [REMINDER] Boston Lisp Meeting: Thursday 2012-06-28 Kalman Reti on Symbolics Lisp Machines   Francois-Rene Rideau
  • [Pl-seminar] part time developer for new parent website   Stephen Chang
• [Pl-seminar] [Scheme Steering Committee announcements] Reminder: R7RS public comment period   William D Clinger
• [Pl-seminar] Fwd: Visitor Talk: Jared Davis "The Milawa theorem prover is sound down to the x86 machine code that runs it" Friday July 13th at 11:00am   Aaron Turon
• [Pl-seminar] Fwd: Talk Announcement: Clark Barrett "New Insights on the Nelson-Oppen Method" Monday, August 13th at 11:00am   Aaron Turon
• [Pl-seminar] 8/15: Justin Slepak, "Array-Oriented Programming"   Aaron Turon
• [Pl-seminar] [REMINDER] Boston Lisp Meeting: Thursday 2012-08-30 Eli Barzilay on Hygienic Macros for Beginners and Power Users   Francois-Rene Rideau
• [Pl-seminar] Boston Lisp Meeting: Thursday 2012-08-30 informal meeting, no speaker   Francois-Rene Rideau
• [Pl-seminar] 9/21: Dave Herman, "Rust"   Vincent St-Amour
• Boston Lisp Meeting: Thursday 2012-10-04 François-René Rideau on LIL: CLOS reaches higher order, sheds identity and has a transformative experience   Francois-Rene Rideau
• Boston Lisp Meeting: Tuesday 2012-11-20 Jianshi Huang (黄 澗石) on Making CL more popular for startups — the lean approach   Francois-Rene Rideau
• Boston Lisp Meeting: Tuesday 2012-11-20 Jianshi Huang (黄 澗石) on Making CL more popular for startups — the lean approach   Francois-Rene Rideau
  • [Pl-seminar] Fwd: [TYPES/announce] New Book from Princeton University Press: Alan Turing's Systems of Logic   Mitchell Wand
    • [Pl-seminar] [TYPES/announce] New Book from Princeton University Press: Alan Turing's Systems of Logic   Mitchell Wand
• [Pl-seminar] 2012-12-12 Boston Lisp Meeting: Marc Battyani, Alex Plotnick [TOMORROW]   Francois-Rene Rideau

Last message date: Tue Dec 11 17:10:43 EST 2012
Archived on: Tue Dec 11 17:10:36 EST 2012

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