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

by G Barthe, J Hatcliff, P Thiemann
Venue:II, Second Workshop on Higher-OrderOperational Techniques in Semantics, volume 10 of Electronic Notes in Theoretical Computer Science