Second quarter 2013 Archives by subject

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

Starting: Tue Apr 2 11:15:30 EDT 2013
Ending: Tue Jun 18 10:57:22 EDT 2013
Messages: 29

• [PRL] An interesting course to teach at Olin College   Viera Proulx
• [PRL] Chris Skalka visit: May 16   David Van Horn
• [PRL] Chris Skalka visit: May 16   David Van Horn
• [PRL] colloquium today   Matthias Felleisen
• [PRL] Dick Gabriel   Matthias Felleisen
• [PRL] Dick Gabriel: tomorrow at NOON in WVH 366   Matthias Felleisen
• [PRL] Fwd: [MIT-PL] TALK:Friday 5-10-13 Data Flow Graphs for Verification of Concurrent Programs   David Van Horn
• [PRL] Fwd: [Programming] PL Seminar this week   Sam Tobin-Hochstadt
• [PRL] Fwd: [TYPES/announce] Announcement of HOPA: A Workshop on Higher-Order Program Analysis   David Van Horn
• [PRL] Github organization for PRL   David Van Horn
• [PRL] Github organization for PRL   David Van Horn
• [PRL] John Reynolds   Matthias Felleisen
• [PRL] Marco Gaboardi's Visit   Vincent St-Amour
• [PRL] Marco Gaboardi's Visit   Vincent St-Amour
• [PRL] Marco Gaboardi's Visit   Vincent St-Amour
• [PRL] Marco Gaboardi's Visit   Vincent St-Amour
• [PRL] Modularity Conference 2014 in Switzerland   Karl Lieberherr
• [PRL] schedule for Fritze   Matthias Felleisen
• [PRL] schedule for Fritze   Matthias Felleisen
• [PRL] Scott Kilpatrick's Visit   Vincent St-Amour
• [PRL] Scott Kilpatrick's Visit   Vincent St-Amour
• [PRL] Scott Kilpatrick's Visit   Vincent St-Amour
• [PRL] Skalka visit   David Van Horn
• [PRL] slides for Dick Gabriel's talk   Matthias Felleisen
• [PRL] spiel tomorrow   Matthias Felleisen
• [PRL] Substitution semantics FTW   Mitchell Wand
• [PRL] The Physics of Finance: Nanex: visualizing zillions of trades in a half-second   Mitchell Wand
• [PRL] Torture chamber WVH366 Wed. 19 14:30-15:30   J. Ian Johnson
• [PRL] Torture Chamber: Thursday, 4:30, 366   Vincent St-Amour

Last message date: Tue Jun 18 10:57:22 EDT 2013
Archived on: Tue Jun 18 10:57:47 EDT 2013

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