2014 Archives by thread

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

Starting: Sat Mar 1 18:43:30 EST 2014
Ending: Tue Dec 16 07:56:55 EST 2014
Messages: 22

• [Pl-seminar] 3/6: Tony Garnock-Jones, The Network as a Language Construct   Vincent St-Amour
• [Pl-seminar] 4/2: Ligia Nistor, Object Propositions   Vincent St-Amour
  • [Pl-seminar] Reminder: 4/2: Ligia Nistor, Object Propositions   Vincent St-Amour
• [Pl-seminar] PL Seminar Scheduling   Vincent St-Amour
• [Pl-seminar] 9/10: Vilhelm Sjoberg, Dependent types with nontermination   Vincent St-Amour
  • [Pl-seminar] 9/10: Vilhelm Sjoberg, Dependent types with nontermination   Vincent St-Amour
• [Pl-seminar] 9/30: Zachary Kincaid, Proof Spaces for Unbounded Parallelism   Vincent St-Amour
  • [Pl-seminar] 9/30: Zachary Kincaid, Proof Spaces for Unbounded Parallelism   Vincent St-Amour
• [Pl-seminar] 10/10: Ranjit Jhala, Liquid Types For Haskell   Vincent St-Amour
• [Pl-seminar] 10/23: Scott Moore, Secure Scripting with Capabilities and Contracts   Vincent St-Amour
  • [Pl-seminar] 10/23: Scott Moore, Secure Scripting with Capabilities and Contracts   Vincent St-Amour
• [Pl-seminar] 10/31: Jan Hoffmann, Formal Reasoning about Quantitative Properties of Software   Vincent St-Amour
• [Pl-seminar] 11/04: Francesco Zappa Nardelli, Programming languages and concurrency: still tricky   Vincent St-Amour
  • [Pl-seminar] 11/04: Francesco Zappa Nardelli, Programming languages and concurrency: still tricky   Vincent St-Amour
• [Pl-seminar] 11/21: Ryan Culpepper, Introduction to Probabilistic Programming   Vincent St-Amour
  • [Pl-seminar] 11/21: Ryan Culpepper, Introduction to Probabilistic Programming   Vincent St-Amour
• [Pl-seminar] 12/08: Maxime Chevalier-Boisvert, Lazy, Incremental JIT Compilation with Basic Block Versioning   Vincent St-Amour
  • [Pl-seminar] 12/08: Maxime Chevalier-Boisvert, Lazy, Incremental JIT Compilation with Basic Block Versioning   Vincent St-Amour
    • [Pl-seminar] 12/08: Maxime Chevalier-Boisvert, Lazy, Incremental JIT Compilation with Basic Block Versioning   Vincent St-Amour
• [Pl-seminar] 12/16: Daniel Jackson, Conceptual design of software   Vincent St-Amour
  • [Pl-seminar] 12/16: Daniel Jackson, Conceptual design of software   Vincent St-Amour
  • [Pl-seminar] 12/16: Daniel Jackson, Conceptual design of software   Vincent St-Amour

Last message date: Tue Dec 16 07:56:55 EST 2014
Archived on: Tue Dec 16 11:15:23 EST 2014

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