Exportar referência
APA
Pedro Ângelo, Mário Florido, (2022). A Typed Lambda Calculus with Gradual Intersection Types. Proceedings of the 24th International Symposium on Principles and Practice of Declarative Programming, -
IEEE
Pedro Ângelo, Mário Florido, "A Typed Lambda Calculus with Gradual Intersection Types" in Proceedings of the 24th International Symposium on Principles and Practice of Declarative Programming, Tbilisi Georgia, 2022, pp. -,
doi: 10.1145/3551357.3551382
BIBTEX
@InProceedings{61843,
author = {Pedro Ângelo and Mário Florido},
title = {A Typed Lambda Calculus with Gradual Intersection Types},
booktitle = {Proceedings of the 24th International Symposium on Principles and Practice of Declarative Programming},
year = 2022,
pages = {-},
address = {Tbilisi Georgia},
publisher = {ACM}
}