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
Parametric Subtyping for Structural Parametric Polymorphism

Participantes na publicação
Henry DeYoung (Author)
Andreia Mordido (Author)
Dep. Informática
LASIGE
Frank Pfenning (Author)
Ankush Das (Author)

Data de Publicação
2024-01-05

Suporte
Proceedings of the ACM on Programming Languages

Identificadores da Publicação
ISSN - 2475-1421

Editora
Association for Computing Machinery (ACM)

Volume
8
Fascículo
POPL

Número de Páginas
31
Página Inicial
2700
Página Final
2730

Identificadores do Documento
DOI - https://doi.org/10.1145/3632932
URL - https://doi.org/10.1145/3632932

Identificadores de Qualidade
CORE A* (2023)


Exportar referência

APA
Henry DeYoung, Andreia Mordido, Frank Pfenning, Ankush Das, (2024). Parametric Subtyping for Structural Parametric Polymorphism. Proceedings of the ACM on Programming Languages, 8, 2700-2730. ISSN 2475-1421. eISSN . https://doi.org/10.1145/3632932

IEEE
Henry DeYoung, Andreia Mordido, Frank Pfenning, Ankush Das, "Parametric Subtyping for Structural Parametric Polymorphism" in Proceedings of the ACM on Programming Languages, vol. 8, pp. 2700-2730, 2024. 10.1145/3632932

BIBTEX
@article{63497, author = {Henry DeYoung and Andreia Mordido and Frank Pfenning and Ankush Das}, title = {Parametric Subtyping for Structural Parametric Polymorphism}, journal = {Proceedings of the ACM on Programming Languages}, year = 2024, pages = {2700-2730}, volume = 8 }