December 2015 Archives by author

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

Starting: Wed Dec 2 14:23:53 EST 2015
Ending: Wed Dec 16 15:55:18 EST 2015
Messages: 7

• [PL-sem-jr] Next week: Plotkin   Leif Andersen
• [PL-sem-jr] Poll: Meeting time for next semester   Leif Andersen
• [PL-sem-jr] Dependent Types & Solvers   Leif Andersen
• [PL-sem-jr] Decomposing Systems into Modules - WVH 164   Sam Caldwell
• [PL-sem-jr] Dependent Types & Solvers   Benjamin Chung
• [PL-sem-jr] Next week: Plotkin   Benjamin Greenman
• [PL-sem-jr] Next week: Plotkin   Benjamin Greenman

Last message date: Wed Dec 16 15:55:18 EST 2015
Archived on: Wed Dec 16 15:56:01 EST 2015

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