Curry/uncurry isomorphism

The curry/uncurry isomorphism is that between functions $f:A\times B\to C$, mapping a pair of inputs to a result; and $g:A\to B\to C$, mapping an input to a function, mapping an input to the result. The curry/uncurry isomorphism is relevant in functional programming, as well as category theory, set theory, and mathematics in general.