X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?p=lambda.git;a=blobdiff_plain;f=index.mdwn;h=0ae6d5ead9d405fd96ad3012abe1671af27af073;hp=73d2020ba46e1c9beb1f41542785fb0226c4662c;hb=a5cde834781109f49fde431e38c769e8892bc645;hpb=411b30a906f5ac5051d6a872b02de3fac0aa3bdc diff --git a/index.mdwn b/index.mdwn index 73d2020b..0ae6d5ea 100644 --- a/index.mdwn +++ b/index.mdwn @@ -81,7 +81,7 @@ Other keywords: the Curry-Howard isomorphism(s) monads in category theory and computation --> - + ## Who Can Participate? ## The course will not presume previous experience with programming. We @@ -90,12 +90,12 @@ languages, and we will encourage experimentation with running, modifying, and writing computer programs. The course will not presume lots of mathematical or logical background, either. -However, it will demand a certain amount of comfort working with such material; as a result, +However, it will demand a certain amount of comfort working with such material; as a result, it will not be especially well-suited to be a first graduate-level course in formal semantics or philosophy of language. If you have concerns about your background, come discuss them with us. -It hasn't yet been decided whether this course counts for satisfying the logic requirement for +It hasn't yet been decided whether this course counts for satisfying the logic requirement for Philosophy PhD students. Faculty and students from outside of NYU Linguistics and Philosophy are welcome @@ -135,8 +135,12 @@ familiar with one of them, it's not difficult to move between it and the other. [[How to get the programming languages running on your computer]] - -## Recommended Readings ## + +[[Using the programming languages]] + +[[Family tree of functional programming languages]] + +## Recommended Books ## * *An Introduction to Lambda Calculi for Computer Scientists*, by Chris Hankin, currently \$17 on @@ -166,8 +170,8 @@ on [Amazon](http://www.amazon.com/Seasoned-Schemer-Daniel-P-Friedman/dp/02625610 on [Amazon](http://www.amazon.com/Little-MLer-Matthias-Felleisen/dp/026256114X). This covers some of the same introductory ground as The Little Schemer, but this time in ML. The dialect of ML used is SML, not OCaml, but there are only -superficial syntactic differences between these languages. - +superficial syntactic differences between these languages. [Here's a translation +manual between them](http://www.mpi-sws.org/~rossberg/sml-vs-ocaml.html). ##[[Schedule of Topics]]##