-* [[Translating between OCaml Scheme and Haskell]]
--->
+<!-- -->
+* This site's [[explanation of the differences|rosetta1]] between these languages
## Other Offsite Reading ##
## Other Offsite Reading ##
@@ -64,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. ~->