March 2015 Archives by date

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

Starting: Mon Mar 2 04:08:03 EST 2015
Ending: Sun Mar 29 21:04:26 EDT 2015
Messages: 4

• [PL-sem-jr] Today @ 12:00pm, Bisimulation and Coinduction WVH 166   Benjamin L Greenman
• [PL-sem-jr] First Order Logic, Monday 3/16 12.30 WVH 166   Konstantinos A. Athanasiou
• [PL-sem-jr] System F and Parametricity (3/22 12:30-2p WVH 166)   Max New
• [PL-sem-jr] PL Seminar, 3/30: Type inference beyond Hindley-Milner   Justin R. Slepak

Last message date: Sun Mar 29 21:04:26 EDT 2015
Archived on: Sun Mar 29 21:04:29 EDT 2015

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