alf » from archive
On the Compilers course, the whole lecture on operational semantics is a description of the State monad. #coursera