BIBLIOS

   Ciências References Management System

Visitor Mode (Login)
Need help?


Back

Publication details

Document type
Conference papers

Document subtype
Full paper

Title
Context-free session types

Participants in the publication
Peter Thiemann (Author)
Vasco T. Vasconcelos (Author)
Dep. Informática
 LASIGE
Date of Publication
2016

Event
Proceedings of the 21st ACM SIGPLAN International Conference on Functional Programming - ICFP 2016

Publication Identifiers
ISBN - 9781450342193

Address
Nara, Japan

Publisher
ACM Press

Document Identifiers
DOI - https://doi.org/10.1145/2951913.2951926
URL - http://dx.doi.org/10.1145/2951913.2951926

Rankings
CORE A* (2016) -


Export

APA
Peter Thiemann, Vasco T. Vasconcelos, (2016). Context-free session types. Proceedings of the 21st ACM SIGPLAN International Conference on Functional Programming - ICFP 2016, -

IEEE
Peter Thiemann, Vasco T. Vasconcelos, "Context-free session types" in Proceedings of the 21st ACM SIGPLAN International Conference on Functional Programming - ICFP 2016, Nara, Japan, 2016, pp. -, doi: 10.1145/2951913.2951926

BIBTEX
@InProceedings{41854, author = {Peter Thiemann and Vasco T. Vasconcelos}, title = {Context-free session types}, booktitle = {Proceedings of the 21st ACM SIGPLAN International Conference on Functional Programming - ICFP 2016}, year = 2016, pages = {-}, address = {Nara, Japan}, publisher = {ACM Press} }