Behavioral Polymorphism and Parametricity in Session-Based Communication

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

OnderzoeksoutputAcademicpeer review

34 Citaten (Scopus)
Originele taal-2English
TitelProgramming 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
RedacteurenM. Felleisen , P. Gardner
Plaats van productieRome, Italy
UitgeverijSpringer
Pagina's330-349
Aantal pagina's20
ISBN van elektronische versie978-3-642-37036-6
ISBN van geprinte versie978-3-642-37035-9
DOI's
StatusPublished - 2013

Publicatie series

Naam Lecture Notes in Computer Science
UitgeverijSpringer
Volume7792
ISSN van geprinte versie0302-9743

Citeer dit