Smart Choices and the Selection Monad | IEEE Conference Publication | IEEE Xplore