March 2009 Archives by thread

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

Starting: Mon Mar 9 10:47:02 EDT 2009
Ending: Wed Mar 25 15:28:17 EDT 2009
Messages: 4

• [POPLmark] possible INRIA post doc in mechanizing meta-theory   Dale Miller
• [POPLmark] locally-nameless and the Ott tool   Francesco Zappa Nardelli
• [POPLmark] LNgen: Tool support for locally nameless representations   Brian Aydemir
• [POPLmark] WMM'09 call for papers   urban at mathematik.uni-muenchen.de

Last message date: Wed Mar 25 15:28:17 EDT 2009
Archived on: Wed Mar 25 15:28:25 EDT 2009

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