3 ms·

Funnily, I do indeed know the name from a footnote that mentions he is the original inventor of currying.