Monadic Type Systems: Pure Type Systems for Impure Settings (Preliminary Report) (1997)

by Gilles Barthe, John Hatcliff, Peter Thiemann
Venue:In Proceedings of the Second HOOTS Workshop