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)
YUYA TSUDA (Author)
VASCO T. VASCONCELOS (Author)
Dep. Informatica
LASIGE - LASIGE Computer Science and Engineering Research Centre
PHILIP WADLER (Author)

Date of Publication
2019

Where published
Journal of Functional Programming

Publication Identifiers
ISSN - 0956-7968,1469-7653

Publisher
Cambridge University Press (CUP)

Edition
1st
Volume
29

Document Identifiers
DOI - https://doi.org/10.1017/s0956796819000169
URL - http://dx.doi.org/10.1017/s0956796819000169

Rankings
CORE A* (2020) -


Export

APA
ATSUSHI IGARASHI, PETER THIEMANN, YUYA TSUDA, VASCO T. VASCONCELOS, PHILIP WADLER, (2019). Gradual session types. Journal of Functional Programming, 29, ISSN 0956-7968,1469-7653. eISSN . http://dx.doi.org/10.1017/s0956796819000169

IEEE
ATSUSHI IGARASHI, PETER THIEMANN, YUYA TSUDA, VASCO T. VASCONCELOS, PHILIP WADLER, "Gradual session types" in Journal of Functional Programming, vol. 29, 2019. 10.1017/s0956796819000169

BIBTEX
@article{43715, author = {ATSUSHI IGARASHI and PETER THIEMANN and YUYA TSUDA and VASCO T. VASCONCELOS and PHILIP WADLER}, title = {Gradual session types}, journal = {Journal of Functional Programming}, year = 2019, volume = 29 }