Cover Image

Language-Integrated Recursive Queries (Full Version)

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Herlihy, Anna, Shaikhha, Amir, Ailamaki, Anastasia, Odersky, Martin
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

Adaptive Recursive Query Optimization
by: Herlihy, Anna, et al.
Published: (2023)

Raqlet: Cross-Paradigm Compilation for Recursive Queries
by: Shaikhha, Amir, et al.
Published: (2025)

Declarative Concurrent Data Structures
by: Raza, Aun, et al.
Published: (2024)

Agentic Proof Automation: A Case Study
by: Xu, Yichen, et al.
Published: (2026)

What's in the Box: Ergonomic and Expressive Capture Tracking over Generic Data Structures (Extended Version)
by: Xu, Yichen, et al.
Published: (2025)

LACUNA: Safe Agents as Recursive Program Holes
by: Zhao, Yaoyu, et al.
Published: (2026)

First-Class Refinement Types for Scala
by: Bovel, Matt, et al.
Published: (2026)

PyTond: Efficient Python Data Science on the Shoulders of Databases
by: Shahrokhi, Hesam, et al.
Published: (2024)

Compressing Structured Tensor Algebra
by: Ghorbani, Mahdi, et al.
Published: (2024)

Tracking Capabilities for Safer Agents
by: Odersky, Martin, et al.
Published: (2026)

Hybrid Multiparty Session Types -- Full Version
by: Gheri, Lorenzo, et al.
Published: (2023)

Products of Recursive Programs for Hypersafety Verification (Extended Version)
by: Cheng, Ruotong, et al.
Published: (2025)

Handling the Selection Monad (Full Version)
by: Plotkin, Gordon, et al.
Published: (2025)

On the Semantic Expressiveness of Iso- and Equi-Recursive Types
by: Devriese, Dominique, et al.
Published: (2020)

Full Version: (De/Re)-Composition of Data-Parallel Computations via Multi-Dimensional Homomorphisms
by: Rasch, Ari
Published: (2024)

Compilation Semantics for a Programming Language with Versions
by: Tanabe, Yudai, et al.
Published: (2023)

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

Optimizing Layout of Recursive Datatypes with Marmoset
by: Singhal, Vidush, et al.
Published: (2024)

Probing the Design Space: Parallel Versions for Exploratory Programming
by: Beckmann, Tom, et al.
Published: (2025)

Cedar: A New Language for Expressive, Fast, Safe, and Analyzable Authorization (Extended Version)
by: Cutler, Joseph W., et al.
Published: (2024)

Iso-Recursive Multiparty Sessions and their Automated Verification -- Technical Report
by: Giunti, Marco, et al.
Published: (2025)

Denotational Correctness of Forward-Mode Automatic Differentiation for Iteration and Recursion
by: Vákár, Matthijs
Published: (2020)

Hojabr: Towards a Theory of Everything for AI and Data Analytics
by: Shaikhha, Amir
Published: (2025)

Structural Code Search using Natural Language Queries
by: Limpanukorn, Ben, et al.
Published: (2025)

The Algebra of Patterns (Extended Version)
by: Binder, David, et al.
Published: (2025)

Typing Strictness (Extended Version)
by: Sainati, Daniel, et al.
Published: (2025)

Chorex: Restartable, Language-Integrated Choreographies
by: Wiersdorf, Ashton, et al.
Published: (2025)

Full Iso-recursive Types
by: Zhou, Litao, et al.
Published: (2024)

Synthesizing Trajectory Queries from Examples
by: Mell, Stephen, et al.
Published: (2026)

The Session Abstract Machine (Extended Version)
by: Caires, Luís, et al.
Published: (2024)

Handling Scope Checks (Extended Version)
by: Lee, Michael, et al.
Published: (2026)

SoCal: A Language for Memory-Layout Factorization of Recursive Datatypes
by: Singhal, Vidush, et al.
Published: (2026)

Recursive Mutexes in Separation Logic
by: Du, Ke, et al.
Published: (2026)

Graphiti: Bridging Graph and Relational Database Queries
by: He, Yang, et al.
Published: (2025)

Generic Reduction-Based Interpreters (Extended Version)
by: Bach, Casper
Published: (2025)

Lenses for Partially-Specified States (Extended Version)
by: Matsuda, Kazutaka, et al.
Published: (2026)

GenSQL: A Probabilistic Programming System for Querying Generative Models of Database Tables
by: Huot, Mathieu, et al.
Published: (2024)

Technical Report: Full-Stack Fine-Tuning for the Q Programming Language
by: Hogan, Brendan R., et al.
Published: (2025)

SparseAuto: An Auto-Scheduler for Sparse Tensor Computations Using Recursive Loop Nest Restructuring
by: Dias, Adhitha, et al.
Published: (2023)

Querying Graph-Relational Data
by: Sullivan, Michael J., et al.
Published: (2025)