- Please help improve the wikipedia article about Alonzo Church -- the man who discovered lambda calculus http://en.wikipedia.org/wiki/alonzo_church 69 comments programming
Linking pages
- A Brief Totally Accurate History Of Programming Languages | by Casper Beyer | Commit Log | Medium https://medium.com/@caspervonb/a-brief-totally-accurate-history-of-programming-cd93ec806124 289 comments
- Category Theory for the Working Hacker https://www.infoq.com/presentations/category-theory-propositions-principle 159 comments
- Rust in Perspective — linusw https://people.kernel.org/linusw/rust-in-perspective 131 comments
- Ramin Honary: Emacs fulfills the UNIX Philosophy (overview) https://tilde.town/~ramin_hal9001/articles/emacs-fulfills-the-unix-philosophy.html 62 comments
- GitHub - rekihattori/awesome-programmers: A list of history's greatest software engineers and tech pioneers https://github.com/rekihattori/awesome-programmers 44 comments
- The four simple ways to encode sum-types https://yairchu.github.io/posts/sum-type-encodings.html 40 comments
- Uncomputable Numbers. Real numbers we can never know the… | by Jørgen Veisdal | Cantor’s Paradise https://medium.com/cantors-paradise/uncomputable-numbers-ee528830d295 37 comments
- Uncomputable Numbers. Real numbers we can never know the… | by Jørgen Veisdal | Cantor’s Paradise https://www.cantorsparadise.com/uncomputable-numbers-ee528830d295 23 comments
- Why we want to build Charles Babbage's Victorian computer | John Graham-Cumming | The Guardian http://www.guardian.co.uk/commentisfree/2012/oct/23/charles-babbage-analytical-engine-victorian-computer 23 comments
- Cardano Added Smart Contracts After Alonzo Upgrade and Ada Token Falls https://www.businessinsider.com/cardano-ada-alonzo-upgrade-defi-smart-contracts-charles-hoskinson-2021-9?amp= 23 comments
- Turing Uncomputability - by Jørgen Veisdal - Privatdozent https://www.privatdozent.co/p/turing-uncomputability 22 comments
- Introduction to Lambda Calculus https://serokell.io/blog/untyped-lambda-calculus 20 comments
- Lambda Calculus and Lisp, part 1 ❚ The Neo-Babbage Files https://babbagefiles.xyz/lambda-calculus-and-lisp-01/ 17 comments
- homoiconic/from_birds_that_compose_to_method_advice.markdown at master · raganwald-deprecated/homoiconic · GitHub http://github.com/raganwald/homoiconic/tree/master/2008-11-07/from_birds_that_compose_to_method_advice.markdown 6 comments
- Writing a lambda calculus interpreter in Rust – Prose https://prose.nsood.in/rust-lambda 4 comments
- An introduction to Lambda Calculus, explained through JavaScript – Will Taylor Blog http://willtaylor.blog/an-introduction-to-lambda-calculus-explained-through-javascript/ 3 comments
- homoiconic/from_birds_that_compose_to_method_advice.markdown at master · raganwald-deprecated/homoiconic · GitHub https://github.com/raganwald/homoiconic/blob/master/2008-11-07/from_birds_that_compose_to_method_advice.markdown 1 comment
- Skim or sink http://www.greghendershott.com/2013/07/skim-or-sink.html 0 comments
- Brad Parker - Designer + Developer / Getting close to the conceptual metal https://bradparker.com/content/posts/2020-01-27-getting-close-to-the-conceptual-metal.html 0 comments
- Alan Turing Timeline | Alan Richmond http://tuxar.uk/turing/timeline/ 0 comments
Related searches:
Search whole site: site:en.wikipedia.org
Search title: Alonzo Church - Wikipedia
See how to search.