2012 Archives by subject
Starting: Tue Jan 3 19:12:10 EST 2012
Ending: Tue Dec 11 17:10:43 EST 2012
Messages: 39
- [Pl-seminar] 1/19: Derek Dreyer, "The Marriage of Bisimulations and Kripke Logical Relations"
Aaron Turon
- [Pl-seminar] 2/7: Mike Dodds, "Recovering Disjointness from Concurrent Sharing"
Aaron Turon
- [Pl-seminar] 2012-12-12 Boston Lisp Meeting: Marc Battyani, Alex Plotnick [TOMORROW]
Francois-Rene Rideau
- [Pl-seminar] 5/21: Jacob Thamsborg, "A Concurrent Logical Relation"
Aaron Turon
- [Pl-seminar] 5/3: Ian Zerny, "A Walk through the Semantic Park with Light Steps"
Aaron Turon
- [Pl-seminar] 8/15: Justin Slepak, "Array-Oriented Programming"
Aaron Turon
- [Pl-seminar] 9/21: Dave Herman, "Rust"
Vincent St-Amour
- [Pl-seminar] [REMINDER] Boston Lisp Meeting: Thursday 2012-05-17 Zach Beane on Quicklisp
Francois-Rene Rideau
- [Pl-seminar] [REMINDER] Boston Lisp Meeting: Thursday 2012-06-28 Kalman Reti on Symbolics Lisp Machines
Francois-Rene Rideau
- [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] [Scheme Steering Committee announcements] Reminder: R7RS public comment period
William D Clinger
- [Pl-seminar] [TYPES/announce] New Book from Princeton University Press: Alan Turing's Systems of Logic
Mitchell Wand
- [Pl-seminar] Boston Lisp Meeting: Thursday 2012-05-17 Zach Beane on Quicklisp
Francois-Rene Rideau
- [Pl-seminar] Boston Lisp Meeting: Thursday 2012-08-30 informal meeting, no speaker
Francois-Rene Rideau
- 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] CFP for IBM Programming Languages Day (joint w/ NEPLS and NJPLS)
Shriram Krishnamurthi
- [Pl-seminar] Colloquium: Policy Analysis, an Application of Programming Language Technology
Matthias Felleisen
- [Pl-seminar] Fwd: [MIT-PL] 1/20: Ben Livshits on multi-execution
Mitchell Wand
- [Pl-seminar] Fwd: [TYPES/announce] New Book from Princeton University Press: Alan Turing's Systems of Logic
Mitchell Wand
- [Pl-seminar] Fwd: CFP for IBM Programming Languages Day (joint w/ NEPLS and NJPLS)
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] Fwd: NEPLS deadline
Mitchell Wand
- [Pl-seminar] Fwd: NEPLS deadline: Tomorrow
Mitchell Wand
- [Pl-seminar] Fwd: NEPLS on June 1
Mitchell Wand
- [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] Fwd: Talk Announcement: Clark Barrett "New Insights on the Nelson-Oppen Method" Monday, August 13th at 11:00am
Aaron Turon
- [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] NEPLS deadline: May 1
Mitchell Wand
- [Pl-seminar] NEPLS Program
Mitchell Wand
- No subject
- No subject
- [Pl-seminar] part time developer for new parent website
Stephen Chang
- [Pl-seminar] Presentation by Adam Chlipala on Ur/Web on Wednesday, Jan. 11, from 6-8pm at Harvard
Alley Stoughton
- [Pl-seminar] reminder: Policy Analysis, an Application of Programming Language Technology
Matthias Felleisen
Last message date:
Tue Dec 11 17:10:43 EST 2012
Archived on: Tue Dec 11 17:10:36 EST 2012
This archive was generated by
Pipermail 0.09 (Mailman edition).