September 2006 Archives by thread

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

Starting: Fri Sep 8 02:15:47 EDT 2006
Ending: Wed Sep 20 14:43:52 EDT 2006
Messages: 3

• [POPLmark] A compilation challenge problem   Adam Chlipala
• [POPLmark] Type safety via evaluation contexts in Twelf   Chung-chieh Shan
• [POPLmark] Mechanising dynamic binding   Chung-chieh Shan

Last message date: Wed Sep 20 14:43:52 EDT 2006
Archived on: Wed Sep 20 14:43:32 EDT 2006

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