PL Seminar, Jr.
Friday, October 26, 2007
WVH 366, 11am-1pm
========================
Dan Brown will discuss "Calculating Functional Programs".
Upcoming Talks
--------------
11/2: Aaron Turon (may be rescheduled; watch this space for details):
Logic Programming
11/9: David Fisher: Cryptol and security DSLs
11/16: Ryan Culpepper: The Meta-Logic Safari