Exportar referência
APA
M. Clarence Protin, Gilda Ferreira, (2022). Typability and Type Inference in Atomic Polymorphism. Logical Methods in Computer Science, Volume 18, Issue 3, 1-22. ISSN 1860-5974. eISSN . http://dx.doi.org/10.46298/lmcs-18(3:22)2022
IEEE
M. Clarence Protin, Gilda Ferreira, "Typability and Type Inference in Atomic Polymorphism" in Logical Methods in Computer Science, vol. Volume 18, Issue 3, pp. 1-22, 2022.
10.46298/lmcs-18(3:22)2022
BIBTEX
@article{56683,
author = {M. Clarence Protin and Gilda Ferreira},
title = {Typability and Type Inference in Atomic Polymorphism},
journal = {Logical Methods in Computer Science},
year = 2022,
pages = {1-22},
volume = Volume 18, Issue 3
}