Eugenio Moggiの論文

1991

序盤の方は全く同じっぽいが強モナドとか書かれてる

CSにモナドを入れた最初？