Fourth quarter 2011 Archives by thread

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

Starting: Mon Oct 3 12:44:36 EDT 2011
Ending: Fri Dec 30 07:47:42 EST 2011
Messages: 50

• [PRL] cartoon about racket   Vasileios Koutavas
• [PRL] Job opening at AFRL   Pete Manolios
• [PRL] Fwd: Re: [Programming] PL Seminar Next Week -- Jesse Tov   David Van Horn
  • [PRL] Fwd: Re: [Programming] PL Seminar Next Week -- Jesse Tov   Jesse A. Tov
• [PRL] Certifying and reasoning on cost annotations of functional programs. (arXiv:...   Mitch
• [PRL] Torture chamber tomorrow, 10/21, 1:30 WVH366   Aaron Turon
  • [PRL] Fwd: JMC R.I.P.   Mitchell Wand
  • [PRL] PL class   Eli Barzilay
    • [PRL] PL class   Eli Barzilay
• [PRL] Torture chamber this Wed. (11/2) at 10am   Carl Eastlund
  • [PRL] SPLASH recap   Aaron Turon
• [PRL] CANCELLED: Torture chamber this Wed. (11/2) at 10am   Carl Eastlund
  • [PRL] mark jones -- early warning   Matthias Felleisen
• [PRL] Mark Jones's Visit   Vincent St-Amour
• [PRL] Mark Jones's Schedule   Vincent St-Amour
  • [PRL] Mark Jones's Schedule   Vincent St-Amour
• [PRL] Grigore Rosu's Visit   Christos Dimoulas
  • [PRL] Fwd: [EAPLS] Faculty position(s) in programming languages   Matthias Felleisen
• [PRL] Grigore Rosu's visit -- early announcement   Christos Dimoulas
  • [PRL] [Pl-seminar] Grigore Rosu's visit -- early announcement   Christos Dimoulas
    • [PRL] Fwd: Programming Languages Mentoring Workshop (PLMW 2012)   Matthias Felleisen
• [PRL] Schedule for Grigore Rosu's visit   Christos Dimoulas
  • [PRL] Fwd: TP Msg. #1136 Poster Perfect - How to Drive Home Your Science with a Visually Pleasing Poster.   Mitchell Wand
    • [PRL] Fwd: [TYPES/announce] MSRC Researcher and Postdoc positions   Matthias Felleisen
• [PRL] Interesting information about Java's new function syntax, and approach to parallelism   Sam Tobin-Hochstadt
• [PRL] Fwd: Whatever happened to partial evaluation?   Aaron Turon
  • [PRL] Fwd: Whatever happened to partial evaluation?   Matthias Felleisen
  • [PRL] Fwd: Whatever happened to partial evaluation?   Sam Tobin-Hochstadt
    • [PRL] Fwd: Bug bytes; Popping in on research; Caption contest   Mitchell Wand
      • [PRL] Scheduling for Gary T. Leavens's visit on 12/7   Stevie Strickland
      • [PRL] 12/7: Gary T. Leavens, "JML's Rich, Inherited Specifications for Behavioral Subtypes"   Stevie Strickland
  • [PRL] Fwd: [MIT-PL] PL Seminar on Monday: Hongwei Xi on the ATS language   Sam Tobin-Hochstadt
• [PRL] Fwd: [Programming] Fwd: [MIT-PL] PL Seminar on Monday: Hongwei Xi on the ATS language   David Van Horn
  • [PRL] Second call for scheduling requests for Gary T. Leavens, 12/7   Stevie Strickland
  • [PRL] Second call for scheduling requests for Gary T. Leavens, 12/7   Daniel King
  • [PRL] Shriram in January   Matthias Felleisen
  • [PRL] Current schedule for Gary T. Leavens's visit   Stevie Strickland
  • [PRL] Updated schedule for Gary T. Leavens's visit, 12/7   Stevie Strickland
  • [PRL] Please don't use deadbolt as a doorstop   Mitchell Wand
• [PRL] PL research meets linux kernel development   Sam Tobin-Hochstadt
  • [PRL] Jean Yang's 12/14 visit   Aaron Turon
• [PRL] Invitation to Bootstrap WOW!   Christos Dimoulas
  • [PRL] [1112.2396] Decorated proofs for computational effects: States   Mitchell Wand
  • [PRL] Dependently Typed Programming based on Automated Theorem Proving | Lambda the Ultimate   Mitchell Wand
  • [PRL] [1112.5000] Lazy Pointer Analysis   Mitchell Wand
  • [PRL] [1112.4106] Dependent Types for JavaScript   Mitchell Wand
    • [PRL] [1112.4106] Dependent Types for JavaScript   David Herman
    • [PRL] [1112.4106] Dependent Types for JavaScript   Matthias Felleisen
    • [PRL] Found door to 308 propped open   Mitchell Wand
• [PRL] Semantics and Algorithms for Parametric Monitoring. (arXiv:1112.5761v1 [cs.PL])   Mitch

Last message date: Fri Dec 30 07:47:42 EST 2011
Archived on: Fri Dec 30 07:48:26 EST 2011

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