Image de couverture de livre

Fast and Extensible Hybrid Embeddings with Micros

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Bocirnea, Sean, Bowman, William J.
Format:	Preprint
Publié:	2025
Sujets:	Programming Languages
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

Compilation as Multi-Language Semantics
par: Bowman, William J.
Publié: (2025)

Macro-embedding Compiler Intermediate Languages in Racket
par: Bowman, William J.
Publié: (2025)

Abstracting Extensible Recursive Functions
par: Hubers, Alex, et autres
Publié: (2024)

Dependent-Type-Preserving Memory Allocation
par: Koronkevich, Paulette, et autres
Publié: (2025)

One Weird Trick to Untie Landin's Knot
par: Koronkevich, Paulette, et autres
Publié: (2025)

Type Universes as Allocation Effects
par: Koronkevich, Paulette, et autres
Publié: (2024)

Extensibility in Programming Languages: An overview
par: Nicolajsen, Sebastian mateos
Publié: (2025)

Extended Abstract: Towards a Performance Comparison of Syntax and Type-Directed NbE
par: Gould, Chester J. F., et autres
Publié: (2025)

Towards Algebraic Subtyping for Extensible Records
par: Marques, Rodrigo, et autres
Publié: (2024)

Logic Programming with Extensible Types
par: Perez, Ivan, et autres
Publié: (2026)

FlowLog: Efficient and Extensible Datalog via Incrementality
par: Zhao, Hangdong, et autres
Publié: (2025)

MimIR: An Extensible and Type-Safe Intermediate Representation for the DSL Age
par: Leißa, Roland, et autres
Publié: (2024)

Forklift: An Extensible Neural Lifter
par: Armengol-Estapé, Jordi, et autres
Publié: (2024)

PreciseBugCollector: Extensible, Executable and Precise Bug-fix Collection
par: Ye, He, et autres
Publié: (2023)

Flexible and Reversible Conversion between Extensible Records and Overloading Constraints for ML
par: Spanò, Alvise
Publié: (2024)

Unitary Expressions: A Necessary Abstraction for Extensible Quantum Programming Languages and Systems
par: Younis, Ed
Publié: (2025)

YASPS: A Symbolic Framework for Extensible, High-Performance IPC Simulation
par: Tang, Xuan, et autres
Publié: (2026)

Enabling the Verification and Formalization of Hybrid Quantum-Classical Computing with OpenQASM 3.0 compatible QASM-TS 2.0
par: Kim, Sean, et autres
Publié: (2024)

Accurate and Extensible Symbolic Execution of Binary Code based on Formal ISA Semantics
par: Tempel, Sören, et autres
Publié: (2024)

Fast Atomicity Monitoring
par: Tun, Hünkar Can, et autres
Publié: (2026)

Hybrid Path-Sums for Hybrid Quantum Programs
par: Chareton, Christophe, et autres
Publié: (2026)

Micro-Patterns in Solidity Code
par: Ruschioni, Luca, et autres
Publié: (2025)

Synchron -- An API and Runtime for Embedded Systems
par: Sarkar, Abhiroop, et autres
Publié: (2022)

Multiparty Session Typing, Embedded (Technical Report)
par: Jongmans, Sung-Shik
Publié: (2025)

Typed Embedding of miniKanren for Functional Conversion
par: Engel, Igor, et autres
Publié: (2025)

FreeCHR: An Algebraic Framework for CHR-Embeddings
par: Rechenberger, Sascha, et autres
Publié: (2023)

Fast Trigonometric Functions using the RLIBM Approach
par: Park, Sehyeok, et autres
Publié: (2025)

Mimosa: A Language for Asynchronous Implementation of Embedded Systems Software
par: Huber, Nikolaus, et autres
Publié: (2025)

Augmented Weak Distance for Fast and Accurate Bounds Checking
par: Fu, Zhoulai, et autres
Publié: (2025)

Fast Collection Operations from Indexed Stream Fusion
par: Kovach, Scott, et autres
Publié: (2025)

KATch: A Fast Symbolic Verifier for NetKAT
par: Moeller, Mark, et autres
Publié: (2024)

Teaching Type Systems Implementation with Stella, an Extensible Statically Typed Programming Language
par: Abounegm, Abdelrahman, et autres
Publié: (2024)

Extensible Embedding: A Flexible Multipler For LLM's Context Length
par: Shao, Ninglu, et autres
Publié: (2024)

Fail Faster: Staging and Fast Randomness for High-Performance PBT
par: Richey, Cynthia, et autres
Publié: (2025)

TPDE: A Fast Adaptable Compiler Back-End Framework
par: Schwarz, Tobias, et autres
Publié: (2025)

A Novel Compiler Transformation for Fast Sparse Matrix Multiplication in GPUs
par: Albakri, Hossein, et autres
Publié: (2025)

Making Formulog Fast: An Argument for Unconventional Datalog Evaluation (Extended Version)
par: Bembenek, Aaron, et autres
Publié: (2024)

Hybrid Multiparty Session Types -- Full Version
par: Gheri, Lorenzo, et autres
Publié: (2023)

A Hybrid Approach to Semi-automated Rust Verification
par: Ayoun, Sacha-Élie, et autres
Publié: (2024)

Hybrid Structured Editing: Structures for Tools, Text for Users
par: Beckmann, Tom, et autres
Publié: (2026)