BIBLIOS

   Sistema de Gestão de Referências Bibliográficas de Ciências

Modo Visitante (Login)
Need help?


Voltar

Detalhes Referência

Tipo
Artigos em Revista

Tipo de Documento
Artigo Completo

Título
Label-dependent session types

Participantes na publicação
Peter Thiemann (Author)
Vasco T. Vasconcelos (Author)
Dep. Informática
 LASIGE
Data de Publicação
2020-01

Suporte
Proceedings of the ACM on Programming Languages

Identificadores da Publicação
ISSN - 2475-1421,2475-1421

Editora
Association for Computing Machinery (ACM)

Edição
1st
Volume
4
Fascículo
POPL

Número de Páginas
28
Página Inicial
1
Página Final
29

Identificadores do Documento
DOI - https://doi.org/10.1145/3371135
URL - http://dx.doi.org/10.1145/3371135

Identificadores de Qualidade
CORE A* (2020) -


Exportar referência

APA
Peter Thiemann, Vasco T. Vasconcelos, (2020). Label-dependent session types. Proceedings of the ACM on Programming Languages, 4, 1-29. ISSN 2475-1421,2475-1421. eISSN . http://dx.doi.org/10.1145/3371135

IEEE
Peter Thiemann, Vasco T. Vasconcelos, "Label-dependent session types" in Proceedings of the ACM on Programming Languages, vol. 4, pp. 1-29, 2020. 10.1145/3371135

BIBTEX
@article{43714, author = {Peter Thiemann and Vasco T. Vasconcelos}, title = {Label-dependent session types}, journal = {Proceedings of the ACM on Programming Languages}, year = 2020, pages = {1-29}, volume = 4 }