* Help on [[Learning OCaml]]
* Help on [[Learning Haskell]]
+<!-- -->
+* This site's [[explanation of the differences|rosetta1]] between these languages
+
+
+## Other Offsite Reading ##
+
+* [[Famous Computer Scientists|people]]
-<!--
-* [[Translating between OCaml Scheme and Haskell]]
--->
<!--
There's lots of links here already to tutorials and encyclopedia entries about many of the notions we'll be dealing with.
## Untyped lambda calculus and combinatory logic ##
+* [[Dana Scott's Turing centenary address on the lambda calculus|http://turing100.acm.org/lambda_calculus_timeline.pdf]]
* [[!wikipedia Lambda calculus]]
-<!~- Haskell Curry had ideas that he felt were validated upon reading a 1924 paper by M. Schönfinkel "Uber die Bausteine der mathematischen Logik" which used combinators in a similar way to his own ideas. Haskell then wrote "An analysis of logical substitution" which appeared in the American Journal of Mathematics in 1929. ~->
+<!~- Haskell Curry had ideas that he felt were validated upon reading a 1924 paper by M. Schönfinkel "Uber die Bausteine der mathematischen Logik" which used combinators in a similar way to his own ideas. Curry then wrote "An analysis of logical substitution" which appeared in the American Journal of Mathematics in 1929. ~->
* [[!wikipedia Moses Schönfinkel]]
* [[!wikipedia Haskell Curry]]
* [[!wikipedia Alonzo Church]]<p>