-
1تقرير
-
2تقرير
المؤلفون: Ackerman, Nathanael L., Freer, Cameron E., Kaddar, Younesse, Karwowski, Jacek, Moss, Sean K., Roy, Daniel M., Staton, Sam, Yang, Hongseok
المصدر: Proc. ACM Program. Lang. 8, POPL, Article 61 (2024), pp 1819-1849
مصطلحات موضوعية: Computer Science - Programming Languages, Computer Science - Logic in Computer Science, Mathematics - Probability
URL الوصول: http://arxiv.org/abs/2312.17127
-
3تقرير
المؤلفون: Hu, Edward J., Jain, Moksh, Elmoznino, Eric, Kaddar, Younesse, Lajoie, Guillaume, Bengio, Yoshua, Malkin, Nikolay
URL الوصول: http://arxiv.org/abs/2310.04363
-
4تقرير
المؤلفون: Kaddar, Younesse, Staton, Sam
المصدر: Electronic Notes in Theoretical Informatics and Computer Science, Volume 3 - Proceedings of MFPS XXXIX (November 23, 2023) entics:12291
مصطلحات موضوعية: Computer Science - Programming Languages
URL الوصول: http://arxiv.org/abs/2309.09467
-
5تقرير
المؤلفون: Dash, Swaraj, Kaddar, Younesse, Paquet, Hugo, Staton, Sam
مصطلحات موضوعية: Computer Science - Programming Languages
URL الوصول: http://arxiv.org/abs/2212.07250
-
6مورد إلكتروني
المؤلفون: Ackerman, Nate, Freer, Cameron E., Kaddar, Younesse, Karwowski, Jacek, Moss, Sean, Roy, Daniel, Staton, Sam, Yang, Hongseok
المصدر: Association for Computing Machinery
مصطلحات الفهرس: Article, http://purl.org/eprint/type/JournalArticle
URL:
https://hdl.handle.net/1721.1/153447 https://doi.org/10.1145/3632903 https://doi.org/10.1145/3632903
Proceedings of the ACM on Programming Languages