:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Authors:	Hubers, Alex, Ingle, Apoorv, Marmaduke, Andrew, Morris, J. Garrett
Format:	Preprint
Published:	2024
Subjects:	Programming Languages
Online Access:	https://arxiv.org/abs/2410.11742
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Understanding Haskell-style Overloading via Open Data and Open Functions
by: Marmaduke, Andrew, et al.
Published: (2025)

Fast and Extensible Hybrid Embeddings with Micros
by: Bocirnea, Sean, et al.
Published: (2025)

Soundly Handling Linearity
by: Tang, Wenhao, et al.
Published: (2023)

Extensibility in Programming Languages: An overview
by: Nicolajsen, Sebastian mateos
Published: (2025)

Towards Algebraic Subtyping for Extensible Records
by: Marques, Rodrigo, et al.
Published: (2024)

Separating Sessions Smoothly
by: Fowler, Simon, et al.
Published: (2021)

Logic Programming with Extensible Types
by: Perez, Ivan, et al.
Published: (2026)

Forklift: An Extensible Neural Lifter
by: Armengol-Estapé, Jordi, et al.
Published: (2024)

FlowLog: Efficient and Extensible Datalog via Incrementality
by: Zhao, Hangdong, et al.
Published: (2025)

MimIR: An Extensible and Type-Safe Intermediate Representation for the DSL Age
by: Leißa, Roland, et al.
Published: (2024)

Recursive Function Definitions in Static Dataflow Graphs and their Implementation in TensorFlow
by: Kostopoulou, Kelly, et al.
Published: (2024)

Flexible and Reversible Conversion between Extensible Records and Overloading Constraints for ML
by: Spanò, Alvise
Published: (2024)

PreciseBugCollector: Extensible, Executable and Precise Bug-fix Collection
by: Ye, He, et al.
Published: (2023)

Evolving Abstract Transformers for Gradient-Guided, Adaptable Abstract Interpretation
by: Gomber, Shaurya, et al.
Published: (2025)

Unitary Expressions: A Necessary Abstraction for Extensible Quantum Programming Languages and Systems
by: Younis, Ed
Published: (2025)

YASPS: A Symbolic Framework for Extensible, High-Performance IPC Simulation
by: Tang, Xuan, et al.
Published: (2026)

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

Abstracting Denotational Interpreters
by: Graf, Sebastian, et al.
Published: (2024)

Abstract Environment Trimming
by: Jurjo-Rivas, Daniel, et al.
Published: (2024)

Language-Integrated Recursive Queries (Full Version)
by: Herlihy, Anna, et al.
Published: (2025)

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

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

Accurate and Extensible Symbolic Execution of Binary Code based on Formal ISA Semantics
by: Tempel, Sören, et al.
Published: (2024)

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

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

Correctness Witness Validation by Abstract Interpretation
by: Saan, Simmo, et al.
Published: (2023)

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

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

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

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

The Quantum Abstract Machine
by: Li, Liyi, et al.
Published: (2024)

Synthesizing Abstract Transformers for Reduced-Product Domains
by: Kalita, Pankaj Kumar, et al.
Published: (2024)

The ART of Sharing Points-to Analysis (Extended Abstract)
by: Halalingaiah, Shashin, et al.
Published: (2024)

Optimal Program Synthesis via Abstract Interpretation
by: Mell, Stephen, et al.
Published: (2026)

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

How Do Language Models Compose Functions?
by: Khandelwal, Apoorv, et al.
Published: (2025)

Towards Cumulative Abstract Semantics via Handlers
by: Lueker, Cade, et al.
Published: (2025)

Cost Analysis for Import and Export Using an Abstract Machine
by: Bennetzen, Benjamin, et al.
Published: (2024)

Intrinsically Correct Algorithms and Recursive Coalgebras
by: Alexandru, Cass, et al.
Published: (2025)

Abstract Interpretation-Based Data Leakage Static Analysis
by: Drobnjaković, Filip, et al.
Published: (2022)