The Essence of Concurrent ML (1997)

by Claudio V. Russo, Yingqi Xiao
Venue:In ML with Concurrency: Design, Analysis, Implementation, and Application