Behavioral Polymorphism and Parametricity in Session-Based Communication

Authors

Luis Caires, Jorge A Pérez, Frank Pfenning, Bernardo Toninho,