BIBLIOS

  Ciências References Management System

Visitor Mode (Login)
Need help?


Back

Publication details

Document type
Conference papers

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 - LASIGE
Frank Pfenning (Author)

Scope
International

Refereeing
Yes

Date of Submisson/Request
2020-10-20
Date of Acceptance
2020-12-23
Date of Publication
2021-03-30

Institution
FACULDADE DE CIÊNCIAS DA UNIVERSIDADE DE LISBOA

Event
Programming Languages and Systems,Lecture Notes in Computer Science

Publication Identifiers

Rankings
CORE A (2020) -


Export

APA
Ankush Das, Henry DeYoung, Andreia Mordido, Frank Pfenning, (2021). Nested Session Types. Programming Languages and Systems,Lecture Notes in Computer Science , -

IEEE
Ankush Das, Henry DeYoung, Andreia Mordido, Frank Pfenning, "Nested Session Types" in Programming Languages and Systems,Lecture Notes in Computer Science , , 2021, pp. -, doi:

BIBTEX
@InProceedings{49697, author = {Ankush Das and Henry DeYoung and Andreia Mordido and Frank Pfenning}, title = {Nested Session Types}, booktitle = {Programming Languages and Systems,Lecture Notes in Computer Science }, year = 2021, pages = {-}, address = {}, publisher = {} }