>>554
ごめん、ちょっと説明不足だったけど、
>>551の話しているprogramming techniqueの話のつもりでした。

Semanticsの方はMoggiが専門だよね。
`Monadic Encapslation of Effects: A Reviced Approach (Extended Version)'
semanticsとprogramming techniqueの両者の橋渡しにもなっていて面白いと思うよ。