Gradual session types | Detalhes Referência | BIBLIOS

Detalhes Referência

Tipo
Artigos em Revista

Tipo de Documento
Artigo Completo

Título
Gradual session types

Participantes na publicação
ATSUSHI IGARASHI (Author)
PETER THIEMANN (Author)
YUYA TSUDA (Author)
VASCO T. VASCONCELOS (Author)
Dep. Informática
LASIGE
PHILIP WADLER (Author)

Data de Publicação
2019

Suporte
Journal of Functional Programming

Identificadores da Publicação
ISSN - 0956-7968,1469-7653

Editora
Cambridge University Press (CUP)

Edição
1st

Volume
29

Identificadores do Documento
DOI - https://doi.org/10.1017/s0956796819000169
URL - http://dx.doi.org/10.1017/s0956796819000169

Identificadores de Qualidade
CORE A* (2020) -

Exportar referência

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 }