Copertina

Contextual MetaML: Syntax and Full Abstraction

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Yin, Haoxuan, Murawski, Andrzej S., Ong, C. -H. Luke
Natura:	Preprint
Pubblicazione:	2026
Soggetti:	Programming Languages
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

Guaranteed Bounds on Posterior Distributions of Discrete Probabilistic Programs with Loops
di: Zaiser, Fabian, et al.
Pubblicazione: (2024)

Saturating automata for game semantics
di: Dixon, Alex, et al.
Pubblicazione: (2023)

Static Posterior Inference of Bayesian Probabilistic Programming via Polynomial Solving
di: Wang, Peixin, et al.
Pubblicazione: (2023)

Syntax Repair as Language Intersection
di: Considine, Breandan
Pubblicazione: (2025)

Invertible Syntax without the Tuples (Functional Pearl)
di: Boespflug, Mathieu, et al.
Pubblicazione: (2025)

Abstraction Functions as Types
di: Grodin, Harrison, et al.
Pubblicazione: (2025)

Beyond Bayesian Model Averaging over Paths in Probabilistic Programs with Stochastic Support
di: Reichelt, Tim, et al.
Pubblicazione: (2023)

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

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

E-Graphs as a Persistent Compiler Abstraction
di: Merckx, Jules, et al.
Pubblicazione: (2026)

The Continuous Tensor Abstraction: Where Indices are Real
di: Won, Jaeyeon, et al.
Pubblicazione: (2024)

Modeling Layout Abstractions Using Integer Set Relations
di: Bhaskaracharya, Somashekaracharya G, et al.
Pubblicazione: (2025)

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

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

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

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

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

Abstractions-of-Thought: Intermediate Representations for LLM Reasoning in Hardware Design
di: DeLorenzo, Matthew, et al.
Pubblicazione: (2025)

Collective Allocator Abstraction to Control Object Spatial Locality in C++
di: Hideshima, Takato, et al.
Pubblicazione: (2024)

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

Full Iso-recursive Types
di: Zhou, Litao, et al.
Pubblicazione: (2024)

Cutting Corners on Uncertainty: Zonotope Abstractions for Stream-based Runtime Monitoring
di: Finkbeiner, Bernd, et al.
Pubblicazione: (2026)

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

Abstractions of Sequences, Functions and Operators
di: Rustenholz, Louis, et al.
Pubblicazione: (2025)

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

Programming with High-Level Abstractions, Proceedings of the 3rd Workshop on Logic and Practice of Programming
di: Warren, David S., et al.
Pubblicazione: (2024)

Contextual Metaprogramming for Session Types
di: Ângelo, Pedro, et al.
Pubblicazione: (2026)

Linear-Time T-Gate Optimization via Random Abstraction
di: Albarghouthi, Aws
Pubblicazione: (2026)

Equivalence Checking of ML GPU Kernels
di: Dubey, Kshitij, et al.
Pubblicazione: (2025)

Catamorphic Abstractions for Constrained Horn Clause Satisfiability
di: De Angelis, Emanuele, et al.
Pubblicazione: (2024)

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

ZeroML: A Next Generation AutoML Language
di: Mahmud, Monirul Islam
Pubblicazione: (2025)

Omnidirectional type inference for ML: principality any way
di: O'Brien, Alistair, et al.
Pubblicazione: (2025)

Synthesizing Document Database Queries using Collection Abstractions
di: Liu, Qikang, et al.
Pubblicazione: (2024)

MTP: A Meaning-Typed Language Abstraction for AI-Integrated Programming
di: Dantanarayana, Jayanaka L., et al.
Pubblicazione: (2024)

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

MetaML-Pro: Cross-Stage Design Flow Automation for Efficient Deep Learning Acceleration
di: Que, Zhiqiang, et al.
Pubblicazione: (2025)

Towards Relational Contextual Equality Saturation
di: Hou, Tyler, et al.
Pubblicazione: (2025)

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

Bisimilarity in fresh-register automata
di: Murawski, Andrzej S., et al.
Pubblicazione: (2020)