Taming effects with monadic typing (1998)

by Richard B Kieburtz
Venue:In ICFP