X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?p=lambda.git;a=blobdiff_plain;f=index.mdwn;h=0ae6d5ead9d405fd96ad3012abe1671af27af073;hp=4f1281e550eb8801bcafdfaeed6f083b1c690cc4;hb=a5cde834781109f49fde431e38c769e8892bc645;hpb=2bfe2dd7229e77118182ed283cede3a358f6ed8a diff --git a/index.mdwn b/index.mdwn index 4f1281e5..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,12 +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. - -# Other resources # - -* [Barker's Lambda Tutorial](http://homepages.nyu.edu/~cb125/Lambda): tutorial with embedded Javascript code that enables a user to type a lambda form into a web browser page and click to execute (reduce) it. -* [Penn Lambda Calculator](http://www.ling.upenn.edu/lambda/): requires installing Java, but provides a number of tools for evaluating lambda expressions and other linguistic forms. +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]]##