Functional programming at Harvard

[anhinga_anhinga]

Informal meeting, Friday, June 1:

https://lists.ccs.neu.edu/pipermail/pl-seminar/2007/000390.html

Comments

[http://users.livejournal.com/_rowan_tree_/]

Ага, пасиб.
Proofs for recursively defined structures should look like functional code - it's the nature of the beast! ;-)