Nested Session Types | Publication details | BIBLIOS

Back

Publication details

Document type
Journal articles

Document subtype
Full paper

Title
Nested Session Types

Participants in the publication
Ankush Das (Author)
Henry Deyoung (Author)
Andreia Mordido (Author)
Dep. Informática
LASIGE
Frank Pfenning (Author)

Date of Publication
2022-07-15

Institution
FACULDADE DE CIÊNCIAS DA UNIVERSIDADE DE LISBOA

Where published
ACM Transactions on Programming Languages and Systems

Publication Identifiers
ISSN - 0164-0925

Publisher
Association for Computing Machinery (ACM)

Collection
Special issue on ESOP 2021

Volume
44

Number
3

Number of pages
45

Starting page
1

Last page
45

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

Rankings
SCIMAGO Q2 (2021) - 1.03 - Software

Export

APA
Ankush Das, Henry Deyoung, Andreia Mordido, Frank Pfenning, (2022). Nested Session Types. ACM Transactions on Programming Languages and Systems, 44, 1-45. ISSN 0164-0925. eISSN . http://dx.doi.org/10.1145/3539656

IEEE
Ankush Das, Henry Deyoung, Andreia Mordido, Frank Pfenning, "Nested Session Types" in ACM Transactions on Programming Languages and Systems, vol. 44, pp. 1-45, 2022. 10.1145/3539656

BIBTEX
@article{56858, author = {Ankush Das and Henry Deyoung and Andreia Mordido and Frank Pfenning}, title = {Nested Session Types}, journal = {ACM Transactions on Programming Languages and Systems}, year = 2022, pages = {1-45}, volume = 44 }