Expressing multi-way data-flow constraint systems as a commutative monoid makes many of their properties obvious.

Jaakko Jrvi, Magne Haveraaen, John Freeman, Mat Marcus

Browse the full ICFP paper archive.