Smart Choices and the Selection Monad.

Martn Abadi, Gordon D. Plotkin

Browse the full LICS paper archive.