March 26 2020 Demystifying MLsub — the Simple Essence of Algebraic Subtyping | lptk.github.io
The Y combinator is a central concept in lambda calculus, which is the formal foundation of functional languages. Y allows one to define recursive functions without using self-referential definitions.| lptk.github.io