Exportar referência
APA
Pedro Ângelo, Mário Florido, (2020). Type Inference for Rank 2 Gradual Intersection Types. Lecture Notes in Computer Science,Trends in Functional Programming, 84-120
IEEE
Pedro Ângelo, Mário Florido, "Type Inference for Rank 2 Gradual Intersection Types" in Lecture Notes in Computer Science,Trends in Functional Programming, , 2020, pp. 84-120,
doi: 10.1007/978-3-030-47147-7_5
BIBTEX
@InProceedings{61844,
author = {Pedro Ângelo and Mário Florido},
title = {Type Inference for Rank 2 Gradual Intersection Types},
booktitle = {Lecture Notes in Computer Science,Trends in Functional Programming},
year = 2020,
pages = {84-120},
address = {},
publisher = {Springer International Publishing}
}