/explore

Click through on any links that interest you or select the planets on the right to continue exploring the Outer Web.
You are here

 www.joachim-breitner.de
rec-def: Program analysis case study - Blog - Joachim Breitner's Homepage
| | boxbase.org
Hindley-Milner type system/Algorithm W study
4.7 parsecs away

Travel
| | These ideas and thoughts have converged towards type theory, and I remembered familiar patterns so I did a closer study at the Hindley-Milner, to understand it much better than before.
| | slightknack.dev
Mirror: Hindley Milner Type Inference - Isaac Clayton
8.0 parsecs away

Travel
| | A cozy little corner of the web.
| | limited.systems
Everything is a function Wim Vanderbauwhede
9.9 parsecs away

Travel
| | Although it might seem that a language like Haskell has a lot of different objects and constructs, they can all be reduced to functions.
| | aartaka.me
Making Sense of Lambda Calculus 0: Abstration, Reduction, Substitution?
16.7 parsecs away

Travel
| Lambda Calculus is a fascinating idea, but it's not immediately obvious. In this post, I'm trying to understand and explain the basic terms used in Lambda Calculus.