Behavioral Polymorphism and Parametricity in Session-Based Communication

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

doi:10.1007/978-3-642-37036-6_19

Behavioral Polymorphism and Parametricity in Session-Based Communication

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

Fundamental Computing

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

50 Citations (Scopus)

Original language	English
Title of host publication	Programming 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
Editors	M. Felleisen , P. Gardner
Place of Publication	Rome, Italy
Publisher	Springer
Pages	330-349
Number of pages	20
ISBN (Electronic)	978-3-642-37036-6
ISBN (Print)	978-3-642-37035-9
DOIs	https://doi.org/10.1007/978-3-642-37036-6_19
Publication status	Published - 2013

Publication series

Name	Lecture Notes in Computer Science
Publisher	Springer
Volume	7792
ISSN (Print)	0302-9743

Access to Document

10.1007/978-3-642-37036-6_19

http://dx.doi.org/10.1007/978-3-642-37036-6_19

Handle.net

Persistent link

Cite this

Caires, L., Pérez, J. A., Pfenning, F., & Toninho, B. (2013). Behavioral Polymorphism and Parametricity in Session-Based Communication. In M. Felleisen , & P. Gardner (Eds.), Programming 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 (pp. 330-349). ( Lecture Notes in Computer Science ; Vol. 7792). Springer. https://doi.org/10.1007/978-3-642-37036-6_19

Caires, Luís ; Pérez, Jorge A. ; Pfenning, Frank et al. / Behavioral Polymorphism and Parametricity in Session-Based Communication. Programming 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. editor / M. Felleisen ; P. Gardner. Rome, Italy : Springer, 2013. pp. 330-349 ( Lecture Notes in Computer Science ).

@inproceedings{bcf7aef9177147e38ee5dead80f946c6,

title = "Behavioral Polymorphism and Parametricity in Session-Based Communication",

author = "Lu{\'i}s Caires and P{\'e}rez, {Jorge A.} and Frank Pfenning and Bernardo Toninho",

year = "2013",

doi = "10.1007/978-3-642-37036-6_19",

language = "English",

isbn = "978-3-642-37035-9",

series = " Lecture Notes in Computer Science ",

publisher = "Springer",

pages = "330--349",

editor = "{Felleisen }, M. and P. Gardner",

booktitle = "Programming 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",

}

Caires, L, Pérez, JA, Pfenning, F & Toninho, B 2013, Behavioral Polymorphism and Parametricity in Session-Based Communication. in M Felleisen & P Gardner (eds), Programming 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. Lecture Notes in Computer Science , vol. 7792, Springer, Rome, Italy, pp. 330-349. https://doi.org/10.1007/978-3-642-37036-6_19

Behavioral Polymorphism and Parametricity in Session-Based Communication. / Caires, Luís; Pérez, Jorge A.; Pfenning, Frank et al.
Programming 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. ed. / M. Felleisen ; P. Gardner. Rome, Italy: Springer, 2013. p. 330-349 ( Lecture Notes in Computer Science ; Vol. 7792).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

TY - GEN

T1 - Behavioral Polymorphism and Parametricity in Session-Based Communication

AU - Caires, Luís

AU - Pérez, Jorge A.

AU - Pfenning, Frank

AU - Toninho, Bernardo

PY - 2013

Y1 - 2013

U2 - 10.1007/978-3-642-37036-6_19

DO - 10.1007/978-3-642-37036-6_19

M3 - Conference contribution

SN - 978-3-642-37035-9

T3 - Lecture Notes in Computer Science

SP - 330

EP - 349

BT - Programming 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

A2 - Felleisen , M.

A2 - Gardner, P.

PB - Springer

CY - Rome, Italy

ER -

Caires L, Pérez JA, Pfenning F, Toninho B. Behavioral Polymorphism and Parametricity in Session-Based Communication. In Felleisen M, Gardner P, editors, Programming 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. Rome, Italy: Springer. 2013. p. 330-349. ( Lecture Notes in Computer Science ). doi: 10.1007/978-3-642-37036-6_19