Inferring effect types in an applicative language with asynchronous concurrency (1995)

by Josva Kleist, Martin Hansen, Bo Jensen, Hans Huttel
Venue:In Proceedings of Second ACM SIGPLAN Workshop on State in Programming Languages (SIPL 95