[TYPES/announce] Postdoc @ Princeton, machine-verified semantics

Andrew W. Appel appel at CS.Princeton.EDU
Sun Apr 19 12:12:47 EDT 2009

Previous message: [TYPES/announce] 2nd CfP: ML Workshop 2009
Next message: [TYPES/announce] TYPES 2009
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

An HTML attachment was scrubbed...
URL: http://lists.seas.upenn.edu/pipermail/types-announce/attachments/20090419/e0597352/attachment.htm

Previous message: [TYPES/announce] 2nd CfP: ML Workshop 2009
Next message: [TYPES/announce] TYPES 2009
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the Types-announce mailing list