May 2008 Archives by author

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

Starting: Wed May 7 12:40:30 EDT 2008
Ending: Thu May 29 17:53:35 EDT 2008
Messages: 3

• [POPLmark] Paper announcement: Mechanizing the Metatheory of LF   James Cheney
• [POPLmark] Paper announcement: Explicit Contexts in LF   Karl Crary
• [POPLmark] [Announcement] Cocorico and Coq-tips wiki Merger   Jeffrey Vaughan

Last message date: Thu May 29 17:53:35 EDT 2008
Archived on: Thu May 29 17:53:44 EDT 2008

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