Expressing contract monitors as patterns of communication.

Cameron Swords, Amr Sabry, Sam Tobin-Hochstadt

Browse the full ICFP paper archive.