2011 Archives by author

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

Starting: Sat Jan 8 10:25:29 EST 2011
Ending: Thu Dec 22 16:27:53 EST 2011
Messages: 50

• [Pl-seminar] Fwd: [Boston Haskell] Thursday, September 29th, 7-9pm in the MIT CSAIL Reading Room   Eli Barzilay
• [Pl-seminar] Coq theorem proving class this fall   Adam Chlipala
• [Pl-seminar] Guest lecture on ACL2?   Adam Chlipala
• [Pl-seminar] Fwd: University of Colorado Boulder: Faculty Positions (2 Openings)   Adam Chlipala
• [Pl-seminar] Grigore Rosu's visit -- early announcement   Christos Dimoulas
• [Pl-seminar] 11/16: Grigore Rosu, "K and Matching Logic"   Christos Dimoulas
• [Pl-seminar] Fwd: [Boston Haskell] Thursday, September 29th, 7-9pm in the MIT CSAIL Reading Room   Matthias Felleisen
• [Pl-seminar] Fwd: [Boston Haskell] Thursday, September 29th, 7-9pm in the MIT CSAIL Reading Room   Matthias Felleisen
• [Pl-seminar] Boston Clojure Meetup   Heller, Alec
• [Pl-seminar] GPCE 2011 Call for Papers   Chang Hwan Peter Kim
• [Pl-seminar] Extended deadline: GPCE 2011 Call for Papers   Chang Hwan Peter Kim
• [Pl-seminar] GPCE 2011 Call for Participation   Chang Hwan Peter Kim
• [Pl-seminar] Fwd: [Boston Haskell] Thursday, September 29th, 7-9pm in the MIT CSAIL Reading Room   Shriram Krishnamurthi
• [Pl-seminar] Fwd: [Boston Haskell] Thursday, September 29th, 7-9pm in the MIT CSAIL Reading Room   Greg Morrisett
• [Pl-seminar] Philippe Suter's Talk   Vasilis Papavasileiou
• [Pl-seminar] Philippe Suter's Talk   Vasilis Papavasileiou
• [Pl-seminar] Reminder: Philippe Suter's Talk   Vasilis Papavasileiou
• [Pl-seminar] Reminder: Philippe Suter's Talk   Vasilis Papavasileiou
• [Pl-seminar] 11/10: Mark P. Jones, "Habit: A Functional Language for Bare-metal Programming"   Vincent St-Amour
• [Pl-seminar] Reminder: 11/10: Mark P. Jones, "Habit: A Functional Language for Bare-metal Programming"   Vincent St-Amour
• [Pl-seminar] Slides from Mark Jones's Talk   Vincent St-Amour
• [Pl-seminar] new Boston-area Meetup: Functional Programming Works!   Alley Stoughton
• [Pl-seminar] 12/7: Gary T. Leavens, "JML's Rich, Inherited Specifications for Behavioral Subtypes"   Stevie Strickland
• [Pl-seminar] NEPLS Call for Participation: Friday March 4th   Sam Tobin-Hochstadt
• [Pl-seminar] RacketCon -- July 23 & 24 -- Call for Participation   Sam Tobin-Hochstadt
• [Pl-seminar] RacketCon -- July 23 & 24 -- Room Change & Final Call for Participation   Sam Tobin-Hochstadt
• [Pl-seminar] PL seminar schedule   Aaron Turon
• [Pl-seminar] PL seminar schedule   Aaron Turon
• [Pl-seminar] PL seminar schedule   Aaron Turon
• [Pl-seminar] PL seminar schedule   Aaron Turon
• [Pl-seminar] Will Clinger, 2/9: Quantum Computing for PLaypersons   Aaron Turon
• [Pl-seminar] 2/23: Lindsey Kuper, "Parametric polymorphism through run-time sealing, or, theorems for low, low prices!"   Aaron Turon
• [Pl-seminar] 2/25: Vincent St-Amour, "A Type System You Can Count On"   Aaron Turon
• [Pl-seminar] 3/16: Alley Stoughton, "A Functional Model-View-Controller Software Architecture for Command-oriented Programs"   Aaron Turon
• [Pl-seminar] 3/23: Dan Grossman, "Collaborating at the Hardware/Software Interface: A Programming-Languages Professor’s View"   Aaron Turon
• [Pl-seminar] 6/1: Vasileios Koutavas, "Quantifying the correctness of functional programs"   Aaron Turon
• [Pl-seminar] *Friday* 6/10: Claudio Russo, "F-ing Modules"   Aaron Turon
• [Pl-seminar] 8/10: Sukyoung Ryu, "Formal Specification of a JavaScript Module System"   Aaron Turon
• [Pl-seminar] 9/7: Shmuel Katz, "Aspects, Events, and Modular Correctness Reasoning"   Aaron Turon
• [Pl-seminar] UPDATE: 9/7: Shmuel Katz, "Aspects, Events, and Modular Correctness Reasoning"   Aaron Turon
• [Pl-seminar] Fwd: [Boston Haskell] Thursday, September 29th, 7-9pm in the MIT CSAIL Reading Room   Aaron Turon
• [Pl-seminar] 10/12: Paul Stansifer, "Introducing Rust"   Aaron Turon
• [Pl-seminar] 10/19: David Van Horn, "Verification via Abstract Reduction Semantics"   Aaron Turon
• [Pl-seminar] 11/30: Amal Ahmed, "An Equivalence-Preserving CPS Translation via Multi-Language Semantics"   Aaron Turon
• [Pl-seminar] 12/14: Jean Yang, "A Language for Automatically Enforcing Privacy Policies"   Aaron Turon
• [Pl-seminar] Two possibly interesting talks today   Mitchell Wand
• [Pl-seminar] Fwd: Job openings for compiler engineers at MathWorks just outside Boston.   Mitchell Wand
• [Pl-seminar] Fwd: [Boston Haskell] Thursday, September 29th, 7-9pm in the MIT CSAIL Reading Room   Mitchell Wand
• [Pl-seminar] Fwd: Fwd: [Boston Haskell] Thursday, September 29th, 7-9pm in the MIT CSAIL Reading Room   Mitchell Wand
• [Pl-seminar] NEPLS on June 1   Mitchell Wand

Last message date: Thu Dec 22 16:27:53 EST 2011
Archived on: Thu Dec 22 16:28:28 EST 2011

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