Behavioral Polymorphism and Parametricity in Session-Based Communication

Luís Caires, Jorge A. Pérez, Frank Pfenning, Bernardo Toninho

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

34 Citations (Scopus)
Original languageEnglish
Title of host publicationProgramming Languages and Systems - 22nd European Symposium on Programming, ESOP 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, March 16-24, 2013. Proceedings
EditorsM. Felleisen , P. Gardner
Place of PublicationRome, Italy
PublisherSpringer
Pages330-349
Number of pages20
ISBN (Electronic)978-3-642-37036-6
ISBN (Print)978-3-642-37035-9
DOIs
Publication statusPublished - 2013

Publication series

Name Lecture Notes in Computer Science
PublisherSpringer
Volume7792
ISSN (Print)0302-9743

Cite this