BIBLIOS

   Ciências References Management System

Visitor Mode (Login)
Need help?


Back

Publication details

Document type
Conference papers

Document subtype
Full paper

Title
Parameterized Algebraic Protocols

Participants in the publication
Andreia Mordido (Author)
Dep. Informática
 LASIGE
 Janek Spaderna (Author)
Peter Thiemann (Author)
Vasco T. Vasconcelos (Author)
Dep. Informática
 LASIGE
Date of Publication
2023-06-06

Event
Proceedings of the ACM on Programming Languages

Publication Identifiers
ISSN - 2475-1421

Publisher
Association for Computing Machinery (ACM)

Volume
7
Number
PLDI

Number of pages
25
Starting page
1389
Last page
1413

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

Rankings
CORE A* (2023) -


Export

APA
Andreia Mordido, Janek Spaderna, Peter Thiemann, Vasco T. Vasconcelos, (2023). Parameterized Algebraic Protocols. Proceedings of the ACM on Programming Languages, 1389-1413

IEEE
Andreia Mordido, Janek Spaderna, Peter Thiemann, Vasco T. Vasconcelos, "Parameterized Algebraic Protocols" in Proceedings of the ACM on Programming Languages, , 2023, pp. 1389-1413, doi: 10.1145/3591277

BIBTEX
@InProceedings{59706, author = {Andreia Mordido and Janek Spaderna and Peter Thiemann and Vasco T. Vasconcelos}, title = {Parameterized Algebraic Protocols}, booktitle = {Proceedings of the ACM on Programming Languages}, year = 2023, pages = {1389-1413}, address = {}, publisher = {Association for Computing Machinery (ACM)} }