Specialization of CML messagepassing primitives (2007)

by J Reppy, Y Xiao
Venue:In POPL ’07