Copertina

Invertible Syntax without the Tuples (Functional Pearl)

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Boespflug, Mathieu, Spiwack, Arnaud
Natura:	Preprint
Pubblicazione:	2025
Soggetti:	Programming Languages
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

Destination Calculus: A Linear λ-Calculus for Purely Functional Memory Writes
di: Bagrel, Thomas, et al.
Pubblicazione: (2025)

Refinement-Types Driven Development: A study
di: Domínguez, Facundo, et al.
Pubblicazione: (2025)

Linear Constraints
di: Spiwack, Arnaud, et al.
Pubblicazione: (2026)

Grokking the Sequent Calculus (Functional Pearl)
di: Binder, David, et al.
Pubblicazione: (2024)

Solvable Tuple Patterns and Their Applications to Program Verification
di: Kobayashi, Naoki, et al.
Pubblicazione: (2025)

Scheme Pearl: Quantum Continuations
di: Choudhury, Vikraman, et al.
Pubblicazione: (2024)

Syntax Repair as Language Intersection
di: Considine, Breandan
Pubblicazione: (2025)

Contextual MetaML: Syntax and Full Abstraction
di: Yin, Haoxuan, et al.
Pubblicazione: (2026)

Pearl: Automatic Code Optimization Using Deep Reinforcement Learning
di: Lamouri, Djamel Rassem, et al.
Pubblicazione: (2025)

Formally Verified Linear-Time Invertible Lexing
di: Chassot, Samuel, et al.
Pubblicazione: (2025)

Reactive Programming without Functions
di: Oeyen, Bjarno, et al.
Pubblicazione: (2024)

Substitution for Non-Wellfounded Syntax with Binders through Monoidal Categories
di: Matthes, Ralph, et al.
Pubblicazione: (2023)

Free Foil: Generating Efficient and Scope-Safe Abstract Syntax
di: Kudasov, Nikolai, et al.
Pubblicazione: (2024)

Bottom-up computation using trees of sublists (Functional Pearl)
di: Mu, Shin-Cheng
Pubblicazione: (2023)

Extended Abstract: Towards a Performance Comparison of Syntax and Type-Directed NbE
di: Gould, Chester J. F., et al.
Pubblicazione: (2025)

Revisiting Code Similarity Evaluation with Abstract Syntax Tree Edit Distance
di: Song, Yewei, et al.
Pubblicazione: (2024)

Syntax-Guided Automated Program Repair for Hyperproperties
di: Beutner, Raven, et al.
Pubblicazione: (2024)

Useful Evaluation: Syntax and Semantics (Technical Report)
di: Barenbaum, Pablo, et al.
Pubblicazione: (2024)

SAGE-HLS: Syntax-Aware AST-Guided LLM for High-Level Synthesis Code Generation
di: Khan, M Zafir Sadik, et al.
Pubblicazione: (2025)

DRReduce: Enhancing Syntax-Guided Program Reduction with Dependency Reconstruction
di: Feng, Qiong, et al.
Pubblicazione: (2026)

Syntax and Semantics of Linear Dependent Types
di: Vákár, Matthijs
Pubblicazione: (2014)

Prompt Decorators: A Declarative and Composable Syntax for Reasoning, Formatting, and Control in LLMs
di: Heris, Mostapha Kalami
Pubblicazione: (2025)

Higher Order Automatic Differentiation of Higher Order Functions
di: Huot, Mathieu, et al.
Pubblicazione: (2021)

From Semantics to Syntax: A Type Theory for Comprehension Categories
di: Najmaei, Niyousha, et al.
Pubblicazione: (2025)

E2TP: Element to Tuple Prompting Improves Aspect Sentiment Tuple Prediction
di: Mohammadkhani, Mohammad Ghiasvand, et al.
Pubblicazione: (2024)

Can LLMs Compress (and Decompress)? Evaluating Code Understanding and Execution via Invertibility
di: Maveli, Nickil, et al.
Pubblicazione: (2026)

Text-Tuple-Table: Towards Information Integration in Text-to-Table Generation via Global Tuple Extraction
di: Deng, Zheye, et al.
Pubblicazione: (2024)

SSA without Dominance for Higher-Order Programs
di: Leißa, Roland, et al.
Pubblicazione: (2026)

The Syntax and Semantics of einsum
di: Wenig, Maurice, et al.
Pubblicazione: (2025)

WAMI: Compilation to WebAssembly through MLIR without Losing Abstraction
di: Kang, Byeongjee, et al.
Pubblicazione: (2025)

DeGAS: Gradient-Based Optimization of Probabilistic Programs without Sampling
di: Randone, Francesca, et al.
Pubblicazione: (2026)

Hybrid Path-Sums for Hybrid Quantum Programs
di: Chareton, Christophe, et al.
Pubblicazione: (2026)

A pragma based C++ framework for hybrid quantum/classical computation
di: Gazda, Arnaud, et al.
Pubblicazione: (2023)

Abstraction Functions as Types
di: Grodin, Harrison, et al.
Pubblicazione: (2025)

VeriFast's separation logic: a logic without laters for modular verification of fine-grained concurrent programs
di: Jacobs, Bart
Pubblicazione: (2025)

Finite Functional Programming
di: Arntzenius, Michael, et al.
Pubblicazione: (2026)

Functional Meaning for Parallel Streaming
di: Rioux, Nick, et al.
Pubblicazione: (2025)

Functional Logic Program Transformations
di: Hanus, Michael, et al.
Pubblicazione: (2026)

Abstracting Extensible Recursive Functions
di: Hubers, Alex, et al.
Pubblicazione: (2024)

Debugging Functional Programs by Interpretation
di: Whitington, John
Pubblicazione: (2024)