:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Authors:	Bocirnea, Sean, Bowman, William J.
Format:	Preprint
Published:	2025
Subjects:	Programming Languages
Online Access:	https://arxiv.org/abs/2509.07551
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Compilation as Multi-Language Semantics
by: Bowman, William J.
Published: (2025)

Macro-embedding Compiler Intermediate Languages in Racket
by: Bowman, William J.
Published: (2025)

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

Dependent-Type-Preserving Memory Allocation
by: Koronkevich, Paulette, et al.
Published: (2025)

One Weird Trick to Untie Landin's Knot
by: Koronkevich, Paulette, et al.
Published: (2025)

Type Universes as Allocation Effects
by: Koronkevich, Paulette, et al.
Published: (2024)

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

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

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

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)

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

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

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)

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

Enabling the Verification and Formalization of Hybrid Quantum-Classical Computing with OpenQASM 3.0 compatible QASM-TS 2.0
by: Kim, Sean, et al.
Published: (2024)

Teaching Type Systems Implementation with Stella, an Extensible Statically Typed Programming Language
by: Abounegm, Abdelrahman, et al.
Published: (2024)

Micro-Patterns in Solidity Code
by: Ruschioni, Luca, et al.
Published: (2025)

Fast Atomicity Monitoring
by: Tun, Hünkar Can, et al.
Published: (2026)

Extensible Embedding: A Flexible Multipler For LLM's Context Length
by: Shao, Ninglu, et al.
Published: (2024)

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

Synchron -- An API and Runtime for Embedded Systems
by: Sarkar, Abhiroop, et al.
Published: (2022)

MoXIchecker: An Extensible Model Checker for MoXI
by: Ates, Salih, et al.
Published: (2024)

Multiparty Session Typing, Embedded (Technical Report)
by: Jongmans, Sung-Shik
Published: (2025)

Typed Embedding of miniKanren for Functional Conversion
by: Engel, Igor, et al.
Published: (2025)

FreeCHR: An Algebraic Framework for CHR-Embeddings
by: Rechenberger, Sascha, et al.
Published: (2023)

Fast Trigonometric Functions using the RLIBM Approach
by: Park, Sehyeok, et al.
Published: (2025)

An Enumerative Embedding of the Python Type System in ACL2s
by: Xifaras, Samuel, et al.
Published: (2025)

Mimosa: A Language for Asynchronous Implementation of Embedded Systems Software
by: Huber, Nikolaus, et al.
Published: (2025)

Augmented Weak Distance for Fast and Accurate Bounds Checking
by: Fu, Zhoulai, et al.
Published: (2025)

Fast Collection Operations from Indexed Stream Fusion
by: Kovach, Scott, et al.
Published: (2025)

KATch: A Fast Symbolic Verifier for NetKAT
by: Moeller, Mark, et al.
Published: (2024)

Fail Faster: Staging and Fast Randomness for High-Performance PBT
by: Richey, Cynthia, et al.
Published: (2025)

TPDE: A Fast Adaptable Compiler Back-End Framework
by: Schwarz, Tobias, et al.
Published: (2025)

A Novel Compiler Transformation for Fast Sparse Matrix Multiplication in GPUs
by: Albakri, Hossein, et al.
Published: (2025)

Making Formulog Fast: An Argument for Unconventional Datalog Evaluation (Extended Version)
by: Bembenek, Aaron, et al.
Published: (2024)

A 200-Line Python Micro-Benchmark Suite for NISQ Circuit Compilers
by: Merilehto, Juhani
Published: (2025)