Faith, Evolution, and Programming Languages
Written by Eric Normand. Published: August 22, 2012.
Reference: Faith, Evolution, and Programming Languages
Philip Wadler explains the relationship between logic and programming, why everything is discovered twice, and what a programming language in an alternate universe might look like. (Hint: it's lambda calculus).