Cover Image

Invertible Syntax without the Tuples (Functional Pearl)

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Boespflug, Mathieu, Spiwack, Arnaud
Format:	Preprint
Published:	2025
Subjects:	Programming Languages
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

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

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

Linear Constraints
by: Spiwack, Arnaud, et al.
Published: (2026)

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

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

Scheme Pearl: Quantum Continuations
by: Choudhury, Vikraman, et al.
Published: (2024)

Syntax Repair as Language Intersection
by: Considine, Breandan
Published: (2025)

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

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

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

Reactive Programming without Functions
by: Oeyen, Bjarno, et al.
Published: (2024)

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Abstraction Functions as Types
by: Grodin, Harrison, et al.
Published: (2025)

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

Finite Functional Programming
by: Arntzenius, Michael, et al.
Published: (2026)

Functional Meaning for Parallel Streaming
by: Rioux, Nick, et al.
Published: (2025)

Functional Logic Program Transformations
by: Hanus, Michael, et al.
Published: (2026)

Abstracting Extensible Recursive Functions
by: Hubers, Alex, et al.
Published: (2024)

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