arxiv cs.PL

Devora Chait-Roth, Kedar S. Namjoshi, Thomas Wies
Consistent Updates for Scalable Microservices
https://arxiv.org/abs/2508.04829

Hanwen Guo (University of Utah, USA), Ben Greenman (University of Utah, USA)
If-T: A Benchmark for Type Narrowing
https://arxiv.org/abs/2508.03830

Chinmayi Prabhu Baramashetru (University of Oslo, Norway), Paola Giannini (Universita' del Piemonte Orientale, Italy), Silvia Lizeth Tapia Tarifa (University of Oslo, Norway), ...
A Type System for Data Privacy Compliance in Active Object Languages
https://arxiv.org/abs/2508.03831

Andreas Pointner (University of Applied Sciences Upper Austria, Austria), Josef Pichler (University of Applied Sciences Upper Austria, Austria), ...
Generating Inputs for Grammar Mining using Dynamic Symbolic Execution
https://arxiv.org/abs/2508.03832

Roger C. Su, Robert J. Colvin
Weak Memory Model Formalisms: Introduction and Survey
https://arxiv.org/abs/2508.04115

Mikhail Mints, Finn Voichick, Leonidas Lampropoulos, Robert Rand
Compositional Quantum Control Flow with Efficient Compilation in Qunity
https://arxiv.org/abs/2508.02857

M Zafir Sadik Khan, Nowfel Mashnoor, Mohammad Akyash, Kimia Azar, Hadi Kamali
SAGE-HLS: Syntax-Aware AST-Guided LLM for High-Level Synthesis Code Generation
https://arxiv.org/abs/2508.03558

Pedro Vasconcelos (University of Porto)
Teaching Introductory Functional Programming Using Haskelite
https://arxiv.org/abs/2508.03640

Avinash Malik
Efficient compilation and execution of synchronous programs via type-state programming
https://arxiv.org/abs/2508.01199

Rose Bohrer (AIST, Tokyo, JP)
Proceedings 14th International Workshop on Trends in Functional Programming in Education
https://arxiv.org/abs/2508.02305

Tilman Hinnerichs, Bart Swinkels, Jaap de Jong, Reuben Gardos Reid, Tudor Magirescu, Neil Yorke-Smith, Sebastijan Dumancic
Modelling Program Spaces in Program Synthesis with Constraints
https://arxiv.org/abs/2508.00005

Zurabi Kobaladze, Anna Arnania, Tamar Sanikidze
From Provable Correctness to Probabilistic Generation: A Comparative Review of Program Synthesis Paradigms
https://arxiv.org/abs/2508.00013

Matt Kaufmann, Yahya Sohail, Warren A. Hunt Jr
Extended Abstract: Mutable Objects with Several Implementations
https://arxiv.org/abs/2508.00016

Varun Bharti, Shashwat Jha, Dhruv Kumar, Pankaj Jalote
Automated Type Annotation in Python Using Large Language Models
https://arxiv.org/abs/2508.00422

Erdem Yildirim, Albert Schimpf, Stefan Wehr, Annette Bieniusa
Semantic Subtyping for Maps in Erlang
https://arxiv.org/abs/2508.00482

Mikel Vandeloise
Towards a unified framework for programming paradigms: A systematic review of classification formalisms and methodological foundations
https://arxiv.org/abs/2508.00534

Louis Rustenholz, Pedro Lopez-Garcia, Manuel V. Hermenegildo
Abstractions of Sequences, Functions and Operators
https://arxiv.org/abs/2507.23151

Hebi Li, Forrest Sheng Bao, Qi Xiao, Jin Tian
Kernel-FFI: Transparent Foreign Function Interfaces for Interactive Notebooks
https://arxiv.org/abs/2507.23205

Tobias Sesterhenn, Ian Berlot-Attwell, Janis Zenkner, Christian Bartelt
A Compute-Matched Re-Evaluation of TroVE on MATH
https://arxiv.org/abs/2507.22069

Paulette Koronkevich, William J. Bowman
One Weird Trick to Untie Landin's Knot
https://arxiv.org/abs/2507.21317

Yong Qi Foo, Brian Sze-Kai Cheong, Michael D. Adams
Fixed-Point-Oriented Programming: A Concise and Elegant Paradigm
https://arxiv.org/abs/2507.21439

Di Wang
Composable Effect Handling for Programming LLM-integrated Scripts
https://arxiv.org/abs/2507.22048

Lalita Na Nongkhai, Jingyun Wang, Takahiko Mendori
Development and Evaluation of Adaptive LearningSupport System Based on Ontology of MultipleProgramming Languages
https://arxiv.org/abs/2507.19728

Angelos Charalambidis, Babis Kostopoulos, Christos Nomikos, Panos Rondogiannis
The Power of Negation in Higher-Order Datalog
https://arxiv.org/abs/2507.20251

Zixu Zhou
Decompiling Rust: An Empirical Study of Compiler Optimizations and Reverse Engineering Challenges
https://arxiv.org/abs/2507.18792

Qiyuan Xu, Renxi Wang, Haonan Li, David Sanan, Conrad Watt
IsaMini: Redesigned Isabelle Proof Lanugage for Machine Learning
https://arxiv.org/abs/2507.18885

Samuel Xifaras (Northeastern University), Panagiotis Manolios (Northeastern University), Andrew T. Walter (Northeastern University), William Robertson (Northeastern University)
An Enumerative Embedding of the Python Type System in ACL2s
https://arxiv.org/abs/2507.19015

Weijun Chen, Yuxi Fu, Huan Long
A Programming Language for Feasible Solutions
https://arxiv.org/abs/2507.19176

Henning Urbat
Higher-Order Behavioural Conformances via Fibrations
https://arxiv.org/abs/2507.18509

Marco Ciccal\`e, Daniel Jurjo-Rivas, Jose F. Morales, Pedro L\'opez-Garc\'ia, Manuel V. Hermenegildo
Hiord: An Approach to the Specification and Verification of Higher-Order (C)LP Programs
https://arxiv.org/abs/2507.17233