Exportar referência
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}
}