Sergey Goncharov, Marco Peressotti, Stelios Tsampas, Henning Urbat, Stefano Volpe: Towards a Higher-Order Bialgebraic Denotational Semantics https://arxiv.org/abs/2602.18295 https://arxiv.org/pdf/2602.18295 https://arxiv.org/html/2602.18295
23.02.2026 06:34 — 👍 0 🔁 0 💬 0 📌 0
Yunjeong Lee, Gokul Rajiv, Ilya Sergey: Grammar Repair with Examples and Tree Automata: Extended Version https://arxiv.org/abs/2602.18166 https://arxiv.org/pdf/2602.18166 https://arxiv.org/html/2602.18166
23.02.2026 06:34 — 👍 0 🔁 0 💬 0 📌 0
Takahiro Sanada, Keisuke Hoshino, Kenshin Hirai, Shin-ya Katsumata: Programming Backpropagation with Reverse Handlers for Arrows https://arxiv.org/abs/2602.18090 https://arxiv.org/pdf/2602.18090 https://arxiv.org/html/2602.18090
23.02.2026 06:34 — 👍 0 🔁 0 💬 0 📌 0
[2026-02-23 Mon (UTC), 3 new articles found for csPL Programming Languages]
23.02.2026 06:34 — 👍 0 🔁 0 💬 0 📌 0
Jasper Geer, Fox Huston, Jeffrey S. Foster: Mason: Type- and Name-Guided Program Synthesis https://arxiv.org/abs/2602.16981 https://arxiv.org/pdf/2602.16981 https://arxiv.org/html/2602.16981
20.02.2026 06:34 — 👍 0 🔁 0 💬 0 📌 0
Ivan Lanese, Germ\'an Vidal: A Reversible Semantics for Janus https://arxiv.org/abs/2602.16913 https://arxiv.org/pdf/2602.16913 https://arxiv.org/html/2602.16913
20.02.2026 06:34 — 👍 1 🔁 1 💬 0 📌 1
Paulo R. Pereira, Jose N. Oliveira: Haskell meets Evariste https://arxiv.org/abs/2602.16809 https://arxiv.org/pdf/2602.16809 https://arxiv.org/html/2602.16809
20.02.2026 06:34 — 👍 0 🔁 0 💬 0 📌 0
[2026-02-20 Fri (UTC), 3 new articles found for csPL Programming Languages]
20.02.2026 06:34 — 👍 0 🔁 0 💬 0 📌 0
Jules Merckx, Alexandre Lopoukhine, Samuel Coward, Jianyi Cheng, Bjorn De Sutter, Tobias Grosser: E-Graphs as a Persistent Compiler Abstraction https://arxiv.org/abs/2602.16707 https://arxiv.org/pdf/2602.16707 https://arxiv.org/html/2602.16707
19.02.2026 06:34 — 👍 0 🔁 0 💬 0 📌 0
Bo Yang: A Calculus of Overlays https://arxiv.org/abs/2602.16291 https://arxiv.org/pdf/2602.16291 https://arxiv.org/html/2602.16291
19.02.2026 06:34 — 👍 0 🔁 1 💬 0 📌 0
[2026-02-19 Thu (UTC), 2 new articles found for csPL Programming Languages]
19.02.2026 06:34 — 👍 0 🔁 0 💬 0 📌 0
Fabrizio Montesi, Marco Peressotti, Alexandre Rademaker: Hennessy-Milner Logic in CSLib, the Lean Computer Science Library https://arxiv.org/abs/2602.15409 https://arxiv.org/pdf/2602.15409 https://arxiv.org/html/2602.15409
18.02.2026 06:32 — 👍 0 🔁 1 💬 0 📌 0
Christopher Henson, Fabrizio Montesi: Computer Science as Infrastructure: the Spine of the Lean Computer Science Library (CSLib) https://arxiv.org/abs/2602.15078 https://arxiv.org/pdf/2602.15078 https://arxiv.org/html/2602.15078
18.02.2026 06:32 — 👍 0 🔁 1 💬 0 📌 0
Stephen Mell, Favyen Bastani, Steve Zdancewic, Osbert Bastani: Synthesizing Trajectory Queries from Examples https://arxiv.org/abs/2602.15164 https://arxiv.org/pdf/2602.15164 https://arxiv.org/html/2602.15164
18.02.2026 06:34 — 👍 0 🔁 0 💬 0 📌 0
[2026-02-18 Wed (UTC), 1 new article found for csPL Programming Languages]
18.02.2026 06:34 — 👍 0 🔁 0 💬 0 📌 0
Stephen Mell, Steve Zdancewic, Osbert Bastani: Optimal Program Synthesis via Abstract Interpretation https://arxiv.org/abs/2602.14717 https://arxiv.org/pdf/2602.14717 https://arxiv.org/html/2602.14717
17.02.2026 06:34 — 👍 0 🔁 0 💬 0 📌 0
Marcel Moosbrugger, Julian M\"ullner, Ezio Bartocci, Laura Kov\'acs: Polar: An Algebraic Analyzer for (Probabilistic) Loops https://arxiv.org/abs/2602.14573 https://arxiv.org/pdf/2602.14573 https://arxiv.org/html/2602.14573
17.02.2026 06:34 — 👍 0 🔁 0 💬 0 📌 0
[2026-02-17 Tue (UTC), 2 new articles found for csPL Programming Languages]
17.02.2026 06:34 — 👍 0 🔁 0 💬 0 📌 0
Federico Bruzzone, Walter Cazzola: Meta-Monomorphizing Specializations https://arxiv.org/abs/2602.12973 https://arxiv.org/pdf/2602.12973 https://arxiv.org/html/2602.12973
16.02.2026 06:34 — 👍 0 🔁 0 💬 0 📌 0
[2026-02-16 Mon (UTC), 1 new article found for csPL Programming Languages]
16.02.2026 06:34 — 👍 0 🔁 0 💬 0 📌 0
Singh, Kumar, VenkataKeerthy, Mamidipaka, Aaseesh, Sen, Kodeswaran, Benson, Upadrasta, Tammana: Yaksha-Prashna: Understanding eBPF Bytecode Network Function Behavior https://arxiv.org/abs/2602.11232 https://arxiv.org/pdf/2602.11232 https://arxiv.org/html/2602.11232
13.02.2026 06:30 — 👍 0 🔁 2 💬 0 📌 0
Minda Li, Bhaskar Krishnamachari: Compiler-Guided Inference-Time Adaptation: Improving GPT-5 Programming Performance in Idris https://arxiv.org/abs/2602.11481 https://arxiv.org/pdf/2602.11481 https://arxiv.org/html/2602.11481
13.02.2026 06:34 — 👍 0 🔁 1 💬 0 📌 0
[2026-02-13 Fri (UTC), 1 new article found for csPL Programming Languages]
13.02.2026 06:34 — 👍 0 🔁 0 💬 0 📌 0
Notton, Stott, Schoeb, Walsh, Leboucher, Espitalier, Apostolou, Vigneux, Salavrakos, Senellart: MerLin: A Discovery Engine for Photonic and Hybrid Quantum Machine Learning https://arxiv.org/abs/2602.11092 https://arxiv.org/pdf/2602.11092 https://arxiv.org/html/2602.11092
12.02.2026 06:35 — 👍 0 🔁 2 💬 0 📌 0
Elaine Li, Thomas Wies: Implementability of Global Distributed Protocols modulo Network Architectures https://arxiv.org/abs/2602.10320 https://arxiv.org/pdf/2602.10320 https://arxiv.org/html/2602.10320
12.02.2026 06:31 — 👍 0 🔁 2 💬 0 📌 0
[2026-02-12 Thu (UTC), no new articles found for csPL Programming Languages]
12.02.2026 06:34 — 👍 0 🔁 0 💬 0 📌 0
Elaine Li, Felix Stutz: Global Protocols under Rendezvous Synchrony: From Realizability to Type Checking https://arxiv.org/abs/2602.09197 https://arxiv.org/pdf/2602.09197 https://arxiv.org/html/2602.09197
11.02.2026 06:31 — 👍 0 🔁 1 💬 0 📌 0
[2026-02-11 Wed (UTC), no new articles found for csPL Programming Languages]
11.02.2026 06:34 — 👍 0 🔁 0 💬 0 📌 0
Sam Speight, Niels van der Weide: Impredicativity in Linear Dependent Type Theory https://arxiv.org/abs/2602.08846 https://arxiv.org/pdf/2602.08846 https://arxiv.org/html/2602.08846
10.02.2026 06:32 — 👍 0 🔁 3 💬 0 📌 0
Babak Rahmani: Debugging code world models https://arxiv.org/abs/2602.07672 https://arxiv.org/pdf/2602.07672 https://arxiv.org/html/2602.07672
10.02.2026 06:35 — 👍 0 🔁 4 💬 0 📌 0
