P.: Monadic type systems: Pure type systems for impure settings (preliminary report (1997)

by G Barthe, J Hatcliff, Thiemann
Venue:Proc. of 2nd Wksh. on Higher-Order Operational Techniques in Semantics, HOOTS’97 (Stanford Univ., CA