Taming effects with monadic typing (1998)

by R Kieburtz
Venue:In Proceedings of the 3rd ACM SIGPLAN International Conference on Functional Programming (ICFP’98