-
Recursive Subtyping for All
Author: Zhou, Litao; Zhou, Yaoda; Oliveira, Bruno C. D. S.
Journal: PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL. 2023; Vol. 7, Issue POPL, pp. -. DOI: 10.1145/3571241
-
CoqQ: Foundational Verification of Quantum Programs
Author: Zhou, Li; Barthe, Gilles; Strub, Pierre-Yves; Liu, Junyi; Ying, Mingsheng
Journal: PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL. 2023; Vol. 7, Issue POPL, pp. -. DOI: 10.1145/3571222
-
Making a Type Difference
Author: Xu, Han; Huang, Xuejing; Oliveira, Bruno C. D. S.
Journal: PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL. 2023; Vol. 7, Issue POPL, pp. -. DOI: 10.1145/3571224
-
A Bowtie for a Beast
Author: Rioux, Nick; Huang, Xuejing; Oliveira, Bruno C. D. S.; Zdancewic, Steve
Journal: PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL. 2023; Vol. 7, Issue POPL, pp. -. DOI: 10.1145/3571211
-
Bidirectional Object-Oriented Programming: Towards Programmatic and Direct Manipulation of Objects
Author: Zhang, Xing; Guo, Guanchen; He, Xiao; Hu, Zhenjiang
Journal: PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL. 2023; Vol. 7, Issue OOPSLA, pp. -. DOI: 10.1145/3586035
-
Gradual Probabilistic Lambda Calculus
Author: Ye, Wenjia; Toro, Matias; Olmedo, Federico
Journal: PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL. 2023; Vol. 7, Issue OOPSLA, pp. -. DOI: 10.1145/3586036
-
Pushing the Limit of 1-Minimality of Language-Agnostic Program Reduction
Author: Xu, Zhenyang; Tian, Yongqiang; Zhang, Mengxiao; Zhao, Gaosen; Jiang, Yu; Sun, Chengnian
Journal: PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL. 2023; Vol. 7, Issue OOPSLA, pp. -. DOI: 10.1145/3586049
-
Solving Conditional Linear Recurrences for Program Verification: The Periodic Case
Author: Wang, Chenglin; Lin, Fangzhen
Journal: PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL. 2023; Vol. 7, Issue OOPSLA, pp. -. DOI: 10.1145/3586028
