Specialization of CML message-passing primitives.

John H. Reppy, Yingqi Xiao

Browse the full POPL paper archive.