Exportar referência
APA
Zeeshan Lakhani, Ankush Das, Henry DeYoung, Andreia Mordido, Frank Pfenning, (2022). Polarized Subtyping. European Symposium on Programming 2022, 431-461
IEEE
Zeeshan Lakhani, Ankush Das, Henry DeYoung, Andreia Mordido, Frank Pfenning, "Polarized Subtyping" in European Symposium on Programming 2022, , 2022, pp. 431-461,
doi: 10.1007/978-3-030-99336-8_16
BIBTEX
@InProceedings{56857,
author = {Zeeshan Lakhani and Ankush Das and Henry DeYoung and Andreia Mordido and Frank Pfenning},
title = {Polarized Subtyping},
booktitle = {European Symposium on Programming 2022},
year = 2022,
pages = {431-461},
address = {},
publisher = {Springer International Publishing}
}