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

Cached

Download Links

by Gilles Barthe , John Hatcliff , Peter Thiemann
Venue:In Proceedings of the Second HOOTS Workshop
Citations:8 - 2 self