X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?a=blobdiff_plain;f=schedule_of_topics.mdwn;h=fad5256ccfdb444f3a386276253136cfd36f998d;hb=ab0ec00e0e06da2fdbed6542e34b1189021e0278;hp=ca49980b521a0247cbf5f3f00111f0d3397a863f;hpb=9dee4176ba7c3094de0eb15fe800bdf2d17c36e2;p=lambda.git diff --git a/schedule_of_topics.mdwn b/schedule_of_topics.mdwn index ca49980b..fad5256c 100644 --- a/schedule_of_topics.mdwn +++ b/schedule_of_topics.mdwn @@ -28,7 +28,7 @@ This is very sketchy at this point, but it should give a sense of our intended s 13. Representing lists as folds 14. Typical higher-order functions: map, filter, fold -15. Recursion exploiting the fold-like representation of numbers and lists (deforestation, zippers) +15. Recursion exploiting the fold-like representation of numbers and lists ([deforestation](http://en.wikipedia.org/wiki/Deforestation_%28computer_science%29), [zippers](http://en.wikipedia.org/wiki/Zipper_%28data_structure%29)) 16. General recursion using omega 17. The Y combinator(s); more on evaluation strategies