October 2005 Archives by author

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

Starting: Mon Oct 3 21:16:38 EDT 2005
Ending: Wed Oct 12 09:54:43 EDT 2005
Messages: 4

• [POPLmark] Some notes   Lauri Alanko
• [POPLmark] A "locally nameless" solution in Coq   Xavier Leroy
• [POPLmark] A "locally nameless" solution in Coq   Benjamin Pierce
• [POPLmark] POPLmark wiki (was: Some notes)   Geoffrey Alan Washburn

Last message date: Wed Oct 12 09:54:43 EDT 2005
Archived on: Wed Oct 12 09:54:56 EDT 2005

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