BIBLIOS

   Ciências References Management System

Visitor Mode (Login)
Need help?


Back

Publication details

Document type
Conference papers

Document subtype
Full paper

Title
Type Inference for Rank-2 Intersection Types Using Set Unification

Participants in the publication
Pedro Ângelo (Author)
Dep. Informática
 Mário Florido (Author)
FACULDADE DE CIÊNCIAS DA UNIVERSIDADE DO PORTO
Date of Publication
2022

Event
Lecture Notes in Computer Science,Theoretical Aspects of Computing – ICTAC 2022

Publication Identifiers
ISSN - 0302-9743

Publisher
Springer International Publishing

Number of pages
19
Starting page
462
Last page
480

Document Identifiers
DOI - https://doi.org/10.1007/978-3-031-17715-6_29
URL - http://dx.doi.org/10.1007/978-3-031-17715-6_29

Rankings
CORE B (2021) -


Export

APA
Pedro Ângelo, Mário Florido, (2022). Type Inference for Rank-2 Intersection Types Using Set Unification. Lecture Notes in Computer Science,Theoretical Aspects of Computing – ICTAC 2022, 462-480

IEEE
Pedro Ângelo, Mário Florido, "Type Inference for Rank-2 Intersection Types Using Set Unification" in Lecture Notes in Computer Science,Theoretical Aspects of Computing – ICTAC 2022, , 2022, pp. 462-480, doi: 10.1007/978-3-031-17715-6_29

BIBTEX
@InProceedings{61842, author = {Pedro Ângelo and Mário Florido}, title = {Type Inference for Rank-2 Intersection Types Using Set Unification}, booktitle = {Lecture Notes in Computer Science,Theoretical Aspects of Computing – ICTAC 2022}, year = 2022, pages = {462-480}, address = {}, publisher = {Springer International Publishing} }