H. Deyoung
AuthID: R-006-NKV
1
TÃTULO: Polarized Subtyping
AUTORES: Lakhani, Zeeshan; Das, Ankush; DeYoung, Henry; Mordido, Andreia ; Pfenning, Frank ;
PUBLICAÇÃO: 2022, FONTE: 31st European Symposium on Programming (ESOP) Held as Part of the 25th European Joint Conferences on Theory and Practice of Software (ETAPS) in PROGRAMMING LANGUAGES AND SYSTEMS, ESOP 2022, VOLUME: 13240
AUTORES: Lakhani, Zeeshan; Das, Ankush; DeYoung, Henry; Mordido, Andreia ; Pfenning, Frank ;
PUBLICAÇÃO: 2022, FONTE: 31st European Symposium on Programming (ESOP) Held as Part of the 25th European Joint Conferences on Theory and Practice of Software (ETAPS) in PROGRAMMING LANGUAGES AND SYSTEMS, ESOP 2022, VOLUME: 13240
INDEXADO EM: 
Scopus 
WOS 
DBLP
Scopus WOS DBLP