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

Document Versions

Monadic Type Systems: Pure Type Systems for Impure Settings (Preliminary Report) –Gilles Barthe, John Hatcliff, Peter Thiemann — 1997 — In Proceedings of the Second HOOTS Workshop
Monadic Type Systems: Pure Type Systems for Impure Settings –Gilles Barthe, John Hatcliff, Peter Thiemann — 1998 — In Proceedings of the Second HOOTS Workshop