For anyone who may need more incentive to download the PDF: Knuth is co-author.
> Curry (“Composition”, 1948)
And suddenly I was like wow I wonder if the concept of currying was invented by this guy so I look it up. Turns out that while someone else is credited for inventing currying, it’s named after this Curry guy indeed. And more things are named after him, including the Haskell programming language.