H. Deyoung
AuthID: R-006-NKV
1
TITLE: Polarized Subtyping
AUTHORS: Lakhani, Zeeshan; Das, Ankush; DeYoung, Henry; Mordido, Andreia ; Pfenning, Frank ;
PUBLISHED: 2022, SOURCE: 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
AUTHORS: Lakhani, Zeeshan; Das, Ankush; DeYoung, Henry; Mordido, Andreia ; Pfenning, Frank ;
PUBLISHED: 2022, SOURCE: 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
INDEXED IN: 
Scopus 
WOS 
DBLP
Scopus WOS DBLP