Monadic Type Systems: Pure Type Systems for Impure Settings (Preliminary Report) (1997)
Cached
Download Links
- [www.informatik.uni-freiburg.de]
- [www.cis.ksu.edu]
- DBLP
Other Repositories/Bibliography
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 |
