Categorical Monads and Computer Programming

@inproceedings{Benton2015CategoricalMA,
  title={Categorical Monads and Computer Programming},
  author={Nick Benton},
  year={2015}
}
The categorical notion of monad was first introduced into computer science as a way of structuring mathematical models of programming languages. The idea has subsequently been transferred back into computing practice, influencing the design of widely-used languages and frameworks. Expressions in conventional imperative programming languages bear a… CONTINUE READING