المؤلفون: Liell-Cock, Jack, Staton, Sam

مصطلحات موضوعية: Computer Science - Programming Languages, Computer Science - Logic in Computer Science, Mathematics - Category Theory, Mathematics - Probability

URL الوصول: http://arxiv.org/abs/2405.09391

المؤلفون: Matache, Cristina, Lindley, Sam, Moss, Sean, Staton, Sam, Wu, Nicolas, Yang, Zhixuan

مصطلحات موضوعية: Computer Science - Programming Languages, Computer Science - Logic in Computer Science, Mathematics - Category Theory

URL الوصول: http://arxiv.org/abs/2402.03103

المؤلفون: Huot, Mathieu, Lew, Alexander K., Mansinghka, Vikash K., Staton, Sam

المصدر: 2023 38th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) Logic in Computer Science (LICS), 2023 38th Annual ACM/IEEE Symposium on. :1-14 Jun, 2023

Relation: 2023 38th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS)

المؤلفون: Stein, Dario, Staton, Sam

مصطلحات موضوعية: Computer Science - Programming Languages, Computer Science - Logic in Computer Science, Mathematics - Probability

URL الوصول: http://arxiv.org/abs/2312.17141

المؤلفون: 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

المؤلفون: Matache, Cristina, Moss, Sean, Staton, Sam, Suo, Ariadne Si

مصطلحات موضوعية: Computer Science - Logic in Computer Science, Computer Science - Programming Languages, Mathematics - Category Theory

URL الوصول: http://arxiv.org/abs/2312.16694

المؤلفون: Staton, Sam, Vasilakopoulou, Christina

المصدر: EPTCS 397, 2023

مصطلحات موضوعية: Computer Science - Logic in Computer Science, Computer Science - Programming Languages

URL الوصول: http://arxiv.org/abs/2312.08138

المؤلفون: 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

المؤلفون: Lindley, Sam^Aff8, Matache, Cristina^Aff8, Moss, Sean^Aff9, Staton, Sam^Aff10, Wu, Nicolas^Aff11, Yang, Zhixuan^Aff11

المساهمون: Goos, Gerhard, Founding Editor^Aff1, Hartmanis, Juris, Founding Editor^Aff2, Bertino, Elisa, Editorial Board Member^Aff3, Gao, Wen, Editorial Board Member^Aff4, Steffen, Bernhard, Editorial Board Member^Aff5, Yung, Moti, Editorial Board Member^Aff6, Weirich, Stephanie, editor^Aff7

المصدر: Programming Languages and Systems : 33rd European Symposium on Programming, ESOP 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6–11, 2024, Proceedings, Part I. 14576:3-21

المؤلفون: Huot, Mathieu, Lew, Alexander K., Mansinghka, Vikash K., Staton, Sam

مصطلحات موضوعية: Computer Science - Programming Languages, Computer Science - Machine Learning, Computer Science - Logic in Computer Science

URL الوصول: http://arxiv.org/abs/2302.10636