المؤلفون: Zhou, Zhe, Ye, Qianchuan, Delaware, Benjamin, Jagannathan, Suresh

مصطلحات موضوعية: Computer Science - Programming Languages, D.3.0, F.3.1

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

المؤلفون: Ye, Qianchuan, Delaware, Benjamin

المصدر: Proc. ACM Program. Lang. 8, OOPSLA1, Article 144 (April 2024), 30 pages

مصطلحات موضوعية: Computer Science - Programming Languages, Computer Science - Cryptography and Security

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

المؤلفون: Bao, Yuyan, Sundararajah, Kirshanthan, Malik, Raghav, Ye, Qianchuan, Wagner, Christopher, Jaber, Nouraldin, Wang, Fei, Ameri, Mohammad Hassan, Lu, Donghang, Seto, Alexander, Delaware, Benjamin, Samanta, Roopsha, Kate, Aniket, Garman, Christina, Blocki, Jeremiah, Letourneau, Pierre-David, Meister, Benoit, Springer, Jonathan, Rompf, Tiark, Kulkarni, Milind

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

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

المؤلفون: Dickerson, Robert, Ye, Qianchuan, Zhang, Michael K., Delaware, Benjamin

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

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

المؤلفون: Dickerson, Robert^Aff8, Ye, Qianchuan^Aff8, Zhang, Michael K.^Aff8, Delaware, Benjamin^Aff8

المساهمون: 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, Sergey, Ilya, editor^Aff7

المصدر: Programming Languages and Systems : 20th Asian Symposium, APLAS 2022, Auckland, New Zealand, December 5, 2022, Proceedings. 13658:67-87

المؤلفون: Delaware, Benjamin, Suriyakarn, Sorawit, Pit--Claudel, Clément, Ye, Qianchuan, Chlipala, Adam

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

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