A technique for converting multiple parameter function calls into sequences of single parameter functions calls, and the programming language Haskell have both been named after what mathematician?
Haskell Curry