Monadic type systems: Pure type systems for impure settings (1997)

by G Barthe, J Hatcli, P Thiemann
Venue:In Proceedings of the Second HOOTS Workshop