BIBLIOS

  Ciências References Management System

Visitor Mode (Login)
Need help?


Back

Publication details

Document type
Journal articles

Document subtype
Full paper

Title
Gradual session types

Participants in the publication
Atsushi Igarashi (Author)
Peter Thiemann (Author)
Vasco T. Vasconcelos (Author)
Dep. Informática
LASIGE
Philip Wadler (Author)

Date of Publication
2017-08-29

Where published
Proceedings of the ACM on Programming Languages

Publication Identifiers
ISSN - 2475-1421

Publisher
Association for Computing Machinery (ACM)

Volume
1
Number
ICFP

Number of pages
27
Starting page
1
Last page
28

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

Rankings
CORE A* (2020) -


Export

APA
Atsushi Igarashi, Peter Thiemann, Vasco T. Vasconcelos, Philip Wadler, (2017). Gradual session types. Proceedings of the ACM on Programming Languages, 1, 1-28. ISSN 2475-1421. eISSN . http://dx.doi.org/10.1145/3110282

IEEE
Atsushi Igarashi, Peter Thiemann, Vasco T. Vasconcelos, Philip Wadler, "Gradual session types" in Proceedings of the ACM on Programming Languages, vol. 1, pp. 1-28, 2017. 10.1145/3110282

BIBTEX
@article{43724, author = {Atsushi Igarashi and Peter Thiemann and Vasco T. Vasconcelos and Philip Wadler}, title = {Gradual session types}, journal = {Proceedings of the ACM on Programming Languages}, year = 2017, pages = {1-28}, volume = 1 }