Programming Languages Papers
@ProgPapers
Programming languages: object-oriented programming, functional programming, logic programming. (new submissions to http://arxiv.org, not affiliated with arXiv)
You might like
Polynomial Universes in Homotopy Type Theory. arxiv.org/abs/2409.19176
Autocomp: A Powerful and Portable Code Optimizer for Tensor Accelerators. arxiv.org/abs/2505.18574
How Natural Language Proficiency Shapes GenAI Code for Software Engineering Tasks. arxiv.org/abs/2511.04115
Modular abstract syntax trees (MAST): substitution tensors with second-class sorts. arxiv.org/abs/2511.03946
FlowLog: Efficient and Extensible Datalog via Incrementality. arxiv.org/abs/2511.00865
Leveraging LLMs to Automate Energy-Aware Refactoring of Parallel Scientific Codes. arxiv.org/abs/2505.02184
Analysis of AdvFusion: Adapter-based Multilingual Learning for Code Large Language Models. arxiv.org/abs/2511.02869
QiMeng-SALV: Signal-Aware Learning for Verilog Code Generation. arxiv.org/abs/2510.19296
AutoPDL: Automatic Prompt Optimization for LLM Agents. arxiv.org/abs/2504.04365
Introducing Linear Implication Types to $\lambda_{GT}$ for Computing With Incomplete Graphs. arxiv.org/abs/2510.17429
Invertible Syntax without the Tuples (Functional Pearl). arxiv.org/abs/2508.09856
Neural Network Interoperability Across Platforms. arxiv.org/abs/2511.02610
Nominal Algebraic-Coalgebraic Data Types, with Applications to Infinitary Lambda-Calculi. arxiv.org/abs/2511.02595
ScenicProver: A Framework for Compositional Probabilistic Verification of Learning-Enabled Systems. arxiv.org/abs/2511.02164
Learned Cost Model for Placement on Reconfigurable Dataflow Hardware. arxiv.org/abs/2511.01872
Oriented Metrics for Bottom-Up Enumerative Synthesis. arxiv.org/abs/2511.02491
QCoder Benchmark: Bridging Language Generation and Quantum Hardware through Simulator-Based Feedback. arxiv.org/abs/2510.26101
Execution-Aware Program Reduction for WebAssembly via Record and Replay. arxiv.org/abs/2506.07834
SM-based Semantics for Answer Set Programs Containing Conditional Literals and Arithmetic. arxiv.org/abs/2511.01753
Hidden in Plain Sight: Where Developers Confess Self-Admitted Technical Debt. arxiv.org/abs/2511.01529
United States Trends
- 1. Grammy 409K posts
- 2. #FliffCashFriday 2,171 posts
- 3. Dizzy 10.8K posts
- 4. James Watson 9,444 posts
- 5. #NXXT 1,185 posts
- 6. Clipse 23.7K posts
- 7. Kendrick 66.6K posts
- 8. #GOPHealthCareShutdown 10.6K posts
- 9. Darryl Strawberry 1,462 posts
- 10. MANELYK EN COMPLICES 12.6K posts
- 11. Chase 89.1K posts
- 12. Orban 52.1K posts
- 13. Thune 80.2K posts
- 14. #FursuitFriday 12.6K posts
- 15. Klay 5,801 posts
- 16. Capitol Police 13.6K posts
- 17. #tnwx N/A
- 18. Carmen 48.1K posts
- 19. Laporta 14.3K posts
- 20. Bijan 3,231 posts
Something went wrong.
Something went wrong.