+* 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.
<!--
There's lots of links here already to tutorials and encyclopedia entries about many of the notions we'll be dealing with.
@@ -59,8+63,9 @@ get more out of. (Rinse and repeat.)
## Untyped lambda calculus and combinatory logic ##
## 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]]
* [[!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. ~->