A Universal Session Type for Untyped Asynchronous Communication.

Stephanie Balzer, Frank Pfenning, Bernardo Toninho

Browse the full CONCUR paper archive.