Salvato in:
| Autori principali: | Zhong, Peter, You, Shu-Hung, Campanoni, Simone, Findler, Robert Bruce, Flatt, Matthew, Dimoulas, Christos |
|---|---|
| Natura: | Preprint |
| Pubblicazione: |
2024
|
| Soggetti: | |
| Accesso online: | https://arxiv.org/abs/2407.04917 |
| Tags: |
Aggiungi Tag
Nessun Tag, puoi essere il primo ad aggiungerne!!
|
Documenti analoghi
Type-Error Ablation and AI Coding Agents
di: Krishnamurthi, Shriram, et al.
Pubblicazione: (2026)
di: Krishnamurthi, Shriram, et al.
Pubblicazione: (2026)
AI Coding Agents Need Better Compiler Remarks
di: Deo, Akash, et al.
Pubblicazione: (2026)
di: Deo, Akash, et al.
Pubblicazione: (2026)
Getting a Handle on Unmanaged Memory
di: Wanninger, Nick, et al.
Pubblicazione: (2024)
di: Wanninger, Nick, et al.
Pubblicazione: (2024)
The Parallel Semantics Program Dependence Graph
di: Homerding, Brian, et al.
Pubblicazione: (2024)
di: Homerding, Brian, et al.
Pubblicazione: (2024)
Guess & Sketch: Language Model Guided Transpilation
di: Lee, Celine, et al.
Pubblicazione: (2023)
di: Lee, Celine, et al.
Pubblicazione: (2023)
Destination Calculus: A Linear λ-Calculus for Purely Functional Memory Writes
di: Bagrel, Thomas, et al.
Pubblicazione: (2025)
di: Bagrel, Thomas, et al.
Pubblicazione: (2025)
A Gradual Probabilistic Lambda Calculus
di: Ye, Wenjia, et al.
Pubblicazione: (2026)
di: Ye, Wenjia, et al.
Pubblicazione: (2026)
A Calculus for Scoped Effects & Handlers
di: Bosman, Roger, et al.
Pubblicazione: (2023)
di: Bosman, Roger, et al.
Pubblicazione: (2023)
Opportunistically Parallel Lambda Calculus
di: Mell, Stephen, et al.
Pubblicazione: (2024)
di: Mell, Stephen, et al.
Pubblicazione: (2024)
Grokking the Sequent Calculus (Functional Pearl)
di: Binder, David, et al.
Pubblicazione: (2024)
di: Binder, David, et al.
Pubblicazione: (2024)
$φ$-Calculus: Object-Oriented Formalism
di: Bugayenko, Yegor, et al.
Pubblicazione: (2021)
di: Bugayenko, Yegor, et al.
Pubblicazione: (2021)
Corps: A Core Calculus of Hierarchical Choreographic Programming
di: Hirsch, Andrew K.
Pubblicazione: (2024)
di: Hirsch, Andrew K.
Pubblicazione: (2024)
pyeb: A Python Implementation of Event-B Refinement Calculus
di: Cataño, Néstor
Pubblicazione: (2025)
di: Cataño, Néstor
Pubblicazione: (2025)
Haskelite: A Tracing Interpreter Based on a Pattern-Matching Calculus
di: Vasconcelos, Pedro, et al.
Pubblicazione: (2024)
di: Vasconcelos, Pedro, et al.
Pubblicazione: (2024)
CodeChain: Towards Modular Code Generation Through Chain of Self-revisions with Representative Sub-modules
di: Le, Hung, et al.
Pubblicazione: (2023)
di: Le, Hung, et al.
Pubblicazione: (2023)
DeCo: A Core Calculus for Incremental Functional Programming with Generic Data Types
di: Böhler, Timon, et al.
Pubblicazione: (2026)
di: Böhler, Timon, et al.
Pubblicazione: (2026)
The Functional Machine Calculus III: Control
di: Heijltjes, Willem
Pubblicazione: (2025)
di: Heijltjes, Willem
Pubblicazione: (2025)
$μλεδ$-Calculus: A Self Optimizing Language that Seems to Exhibit Paradoxical Transfinite Cognitive Capabilities
di: Salgado, Ronie
Pubblicazione: (2024)
di: Salgado, Ronie
Pubblicazione: (2024)
Reduction Strategies in the Lambda Calculus and Their Implementation through Derivable Abstract Machines: Introduction
di: Drab, Tomasz
Pubblicazione: (2024)
di: Drab, Tomasz
Pubblicazione: (2024)
A Core Calculus for Type-safe Product Lines of C Programs
di: Damiani, Ferruccio, et al.
Pubblicazione: (2026)
di: Damiani, Ferruccio, et al.
Pubblicazione: (2026)
Functional Array Programming in an Extended Pi-Calculus
di: Hüttel, Hans, et al.
Pubblicazione: (2024)
di: Hüttel, Hans, et al.
Pubblicazione: (2024)
Type-Driven Prompt Programming: From Typed Interfaces to a Calculus of Constraints
di: Paul, Abhijit
Pubblicazione: (2025)
di: Paul, Abhijit
Pubblicazione: (2025)
The Vanilla Sequent Calculus is Call-by-Value (Fresh Perspective)
di: Accattoli, Beniamino
Pubblicazione: (2024)
di: Accattoli, Beniamino
Pubblicazione: (2024)
On Decidable and Undecidable Extensions of Simply Typed Lambda Calculus
di: Kobayashi, Naoki
Pubblicazione: (2024)
di: Kobayashi, Naoki
Pubblicazione: (2024)
Reasonable Space for the $λ$-Calculus, Logarithmically
di: Accattoli, Beniamino, et al.
Pubblicazione: (2022)
di: Accattoli, Beniamino, et al.
Pubblicazione: (2022)
$λ_A$: A Typed Lambda Calculus for LLM Agent Composition
di: Liu, Qin
Pubblicazione: (2026)
di: Liu, Qin
Pubblicazione: (2026)
A Calculus of Inheritance
di: Yang, Bo
Pubblicazione: (2026)
di: Yang, Bo
Pubblicazione: (2026)
Homomorphism Calculus for User-Defined Aggregations
di: Wang, Ziteng, et al.
Pubblicazione: (2025)
di: Wang, Ziteng, et al.
Pubblicazione: (2025)
A Diagrammatic Calculus for a Functional Model of Natural Language Semantics
di: Boyer, Matthieu Pierre
Pubblicazione: (2025)
di: Boyer, Matthieu Pierre
Pubblicazione: (2025)
SymCode: A Neurosymbolic Approach to Mathematical Reasoning via Verifiable Code Generation
di: Nezhad, Sina Bagheri, et al.
Pubblicazione: (2025)
di: Nezhad, Sina Bagheri, et al.
Pubblicazione: (2025)
The Lambda Calculus is Quantifiable
di: Maestracci, Valentin, et al.
Pubblicazione: (2024)
di: Maestracci, Valentin, et al.
Pubblicazione: (2024)
TYPEPULSE: Detecting Type Confusion Bugs in Rust Programs
di: Chen, Hung-Mao, et al.
Pubblicazione: (2025)
di: Chen, Hung-Mao, et al.
Pubblicazione: (2025)
Neural Code Translation of Legacy Code: APL to C#
di: Ramadan, Abdulrahman, et al.
Pubblicazione: (2026)
di: Ramadan, Abdulrahman, et al.
Pubblicazione: (2026)
Macaw: A Machine Code Toolbox for the Busy Binary Analyst
di: Scott, Ryan G., et al.
Pubblicazione: (2024)
di: Scott, Ryan G., et al.
Pubblicazione: (2024)
INDICT: Code Generation with Internal Dialogues of Critiques for Both Security and Helpfulness
di: Le, Hung, et al.
Pubblicazione: (2024)
di: Le, Hung, et al.
Pubblicazione: (2024)
Beyond Code Pairs: Dialogue-Based Data Generation for LLM Code Translation
di: Chen, Le, et al.
Pubblicazione: (2025)
di: Chen, Le, et al.
Pubblicazione: (2025)
Micro-Patterns in Solidity Code
di: Ruschioni, Luca, et al.
Pubblicazione: (2025)
di: Ruschioni, Luca, et al.
Pubblicazione: (2025)
Code Sharing in Healthcare Research: A Practical Guide and Recommendations for Good Practice
di: Hughes-Noehrer, Lukas, et al.
Pubblicazione: (2025)
di: Hughes-Noehrer, Lukas, et al.
Pubblicazione: (2025)
LightCode: Compiling LLM Inference for Photonic-Electronic Systems
di: Tomich, Ryan, et al.
Pubblicazione: (2025)
di: Tomich, Ryan, et al.
Pubblicazione: (2025)
Code Repair with LLMs gives an Exploration-Exploitation Tradeoff
di: Tang, Hao, et al.
Pubblicazione: (2024)
di: Tang, Hao, et al.
Pubblicazione: (2024)
Documenti analoghi
-
Type-Error Ablation and AI Coding Agents
di: Krishnamurthi, Shriram, et al.
Pubblicazione: (2026) -
AI Coding Agents Need Better Compiler Remarks
di: Deo, Akash, et al.
Pubblicazione: (2026) -
Getting a Handle on Unmanaged Memory
di: Wanninger, Nick, et al.
Pubblicazione: (2024) -
The Parallel Semantics Program Dependence Graph
di: Homerding, Brian, et al.
Pubblicazione: (2024) -
Guess & Sketch: Language Model Guided Transpilation
di: Lee, Celine, et al.
Pubblicazione: (2023)