April 2015 Archives by date

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

Starting: Sun Apr 5 19:21:21 EDT 2015
Ending: Mon Apr 20 07:35:47 EDT 2015
Messages: 3

• [PL-sem-jr] Nanopass Compilers (4/6, WVH 166, 12:30)   Leif Andersen
• [PL-sem-jr] The syntax, semantics, and pragmatics of units (4/13, WVH 166, 12:30)   Daniel Feltey
• [PL-sem-jr] Dependent types and theorem proving - today at 12:00 - WVH 166   Andrew Cobb

Last message date: Mon Apr 20 07:35:47 EDT 2015
Archived on: Mon Apr 20 07:35:53 EDT 2015

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