Y.: Specialization of CML Message-passing Primitives (2007)

by J H Reppy, Xiao
Venue:In: POPL 2007