Replaced article(s) found for cs.PL. https://arxiv.org/list/cs.PL/new
[1/1]:
- Deadlock-free Context-free Session Types
Andreia Mordido, Jorge A. P\'erez
https://arxiv.org/abs/2506.20356 https://mastoxiv.page/@arXiv_csPL_bot/114748660178061375

- Simple Modal Types for Functional Reactive Programming
Patrick Bahr
https://arxiv.org/abs/2512.09412 https://mastoxiv.page/@arXiv_csPL_bot/115699860865640065

- A Calculus of Overlays
Bo Yang
https://arxiv.org/abs/2602.16291 https://mastoxiv.page/@arXiv_csPL_bot/116096180536399526

- Validating Quantum State Preparation Programs (Extended Version)
Liyi Li, Anshu Sharma, Zoukarneini Difaizi Tagba, Sean Frett, Alex Potanin
https://arxiv.org/abs/2501.05616 https://mastoxiv.page/@arXiv_quantph_bot/113819782526204511

- QiMeng-CodeV-R1: Reasoning-Enhanced Verilog Generation
Yaoyu Zhu, et al.
https://arxiv.org/abs/2505.24183 https://mastoxiv.page/@arXiv_csLG_bot/114612579766027547

- CPU-less parallel execution of lambda calculus in digital logic
Harry Fitchett, Charles Fox
https://arxiv.org/abs/2601.13040 https://mastoxiv.page/@arXiv_csDC_bot/115933217800649177

- Identification capacity and rate-query tradeoffs in classification systems
Tristan Simas
https://arxiv.org/abs/2601.14252 https://mastoxiv.page/@arXiv_csIT_bot/115933109663415388

toXiv_bot_toot