BIBLIOS

  Ciências References Management System

Visitor Mode (Login)
Need help?


Back

Publication details

Document type
Journal articles

Document subtype
Full paper

Title
Label-dependent session types

Participants in the publication
Peter Thiemann (Author)
Vasco T. Vasconcelos (Author)
Dep. Informatica
LASIGE - LASIGE Computer Science and Engineering Research Centre

Date of Publication
2020-01

Where published
Proceedings of the ACM on Programming Languages

Publication Identifiers
ISSN - 2475-1421,2475-1421

Publisher
Association for Computing Machinery (ACM)

Edition
1st
Volume
4
Number
POPL

Number of pages
28
Starting page
1
Last page
29

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

Rankings
CORE A* (2020) -


Export

APA
Peter Thiemann, Vasco T. Vasconcelos, (2020). Label-dependent session types. Proceedings of the ACM on Programming Languages, 4, 1-29. ISSN 2475-1421,2475-1421. eISSN . http://dx.doi.org/10.1145/3371135

IEEE
Peter Thiemann, Vasco T. Vasconcelos, "Label-dependent session types" in Proceedings of the ACM on Programming Languages, vol. 4, pp. 1-29, 2020. 10.1145/3371135

BIBTEX
@article{43714, author = {Peter Thiemann and Vasco T. Vasconcelos}, title = {Label-dependent session types}, journal = {Proceedings of the ACM on Programming Languages}, year = 2020, pages = {1-29}, volume = 4 }