Behavioral Polymorphism and Parametricity in Session-Based Communication.

Lus Caires, Jorge A. Prez, Frank Pfenning, Bernardo Toninho

Browse the full ESOP paper archive.