Home Online Mathematical Communication Wildon's Weblog The continuation monad: a mathematical introduction