alf » from archive
RT @mrb_bk: Oleg Kiselyov "IO monad realized in 1965" http://okmij.org/ftp/Computation/IO-monad-history.html cites paper "A correspondence between ALGOL 60 and Church's lambda notation."