We gratefully acknowledge support from
the Simons Foundation and member institutions.

Programming Languages

Authors and titles for recent submissions, skipping first 19

[ total of 29 entries: 1-5 | 5-9 | 10-14 | 15-19 | 20-24 | 25-29 ]
[ showing 5 entries per page: fewer | more | all ]

Mon, 1 Dec 2025 (showing first 5 of 10 entries)

[20]  arXiv:2511.23472 [pdf, ps, other]
Title: RapunSL: Untangling Quantum Computing with Separation, Linear Combination and Mixing
Authors: Yusuke Matsushita, Kengo Hirata, Ryo Wakizaka, Emanuele D'Osualdo
Comments: Full version of the conference paper at POPL 2026. The first two authors contributed equally to this work
Subjects: Programming Languages (cs.PL); Logic in Computer Science (cs.LO); Quantum Physics (quant-ph)
[21]  arXiv:2511.23358 [pdf, ps, other]
Title: TypeDis: A Type System for Disentanglement
Authors: Alexandre Moine, Stephanie Balzer, Alex Xu, Sam Westrick
Comments: 34 pages, 24 figures, extended version of the same paper accepted at POPL 2026
Subjects: Programming Languages (cs.PL)
[22]  arXiv:2511.23283 [pdf, ps, other]
Title: All for One and One for All: Program Logics for Exploiting Internal Determinism in Parallel Programs
Authors: Alexandre Moine, Sam Westrick, Joseph Tassarotti
Comments: 32 pages, 26 figures, extended version of the same paper accepted at POPL 2026
Subjects: Programming Languages (cs.PL)
[23]  arXiv:2511.22692 [pdf, ps, other]
Title: A Synthetic Reconstruction of Multiparty Session Types (with Appendix)
Authors: David Castro-Perez, Francisco Ferreira, Sung-Shik Jongmans
Subjects: Programming Languages (cs.PL)
[24]  arXiv:2511.22419 [pdf, ps, other]
Title: On Circuit Description Languages, Indexed Monads, and Resource Analysis
Authors: Ken Sakayori, Andrea Colledan, Ugo Dal Lago
Comments: Extended version of a paper to be published at POPL 2026
Subjects: Programming Languages (cs.PL)
[ total of 29 entries: 1-5 | 5-9 | 10-14 | 15-19 | 20-24 | 25-29 ]
[ showing 5 entries per page: fewer | more | all ]

Disable MathJax (What is MathJax?)

Links to: arXiv, form interface, find, cs, new, 2512, contact, help  (Access key information)