It's a shame that Haskell Brooks Curry did not have any more names because all three of his names have already been used for programming languages by now.