News for hackers. Stuff that matters.

A comment on Undebt: How We Refactored 3M Lines of Code. Parent comment

Re:Undebt: How We Refactored 3M Lines of Code by lmm on Wednesday August 24, 2016 @06:09AM (#12350894)
It was "solved" in 1940 (proven in 1967) by the simply typed lambda calculus.
[ Parent | on HN ]

There are no comments on this comment yet.