BIBLIOS

   Ciências References Management System

Visitor Mode (Login)
Need help?


Back

Publication details

Document type
Journal articles

Document subtype
Full paper

Title
Parametric Subtyping for Structural Parametric Polymorphism

Participants in the publication
Henry DeYoung (Author)
Andreia Mordido (Author)
Dep. Informática
 LASIGE
 Frank Pfenning (Author)
Ankush Das (Author)

Date of Publication
2024-01-05

Where published
Proceedings of the ACM on Programming Languages

Publication Identifiers
ISSN - 2475-1421

Publisher
Association for Computing Machinery (ACM)

Volume
8
Number
POPL

Number of pages
31
Starting page
2700
Last page
2730

Document Identifiers
DOI - https://doi.org/10.1145/3632932
URL - https://doi.org/10.1145/3632932

Rankings
CORE A* (2023)


Export

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 }