Imagen de Portada

Modular abstract syntax trees (MAST): substitution tensors with second-class sorts

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autores principales:	Fiore, Marcelo P., Kammar, Ohad, Moser, Georg, Staton, Sam
Formato:	Preprint
Publicado:	2025
Materias:	Programming Languages
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

An Equational Axiomatization of Dynamic Threads via Algebraic Effects: Presheaves on Finite Relations, Labelled Posets, and Parameterized Algebraic Theories
por: Kammar, Ohad, et al.
Publicado: (2026)

Modular probabilistic programming with algebraic effects (MSc Thesis 2019)
por: Goldstein, Oliver, et al.
Publicado: (2024)

Coverage Semantics for Dependent Pattern Matching
por: Eremondi, Joseph, et al.
Publicado: (2025)

Two-sorted algebraic decompositions of Brookes's shared-state denotational semantics
por: Dvir, Yotam, et al.
Publicado: (2025)

A model of stochastic memoization and name generation in probabilistic programming: categorical semantics via monads on presheaf categories
por: Kaddar, Younesse, et al.
Publicado: (2023)

Abstract clones for abstract syntax
por: Arkor, Nathanael, et al.
Publicado: (2021)

Is spreadsheet syntax better than numeric indexing for cell selection?
por: Heltweg, Philip, et al.
Publicado: (2025)

Frex: dependently-typed algebraic simplification
por: Allais, Guillaume, et al.
Publicado: (2023)

Higher Order Automatic Differentiation of Higher Order Functions
por: Huot, Mathieu, et al.
Publicado: (2021)

Compositional imprecise probability
por: Liell-Cock, Jack, et al.
Publicado: (2024)

Relaxed exception semantics for Arm-A (extended version)
por: Simner, Ben, et al.
Publicado: (2024)

Automated Expected Cost Analysis for Quantum Programs
por: Moser, Georg, et al.
Publicado: (2026)

Advanced OOP and new syntax patterns for Javascript
por: Rosa, Alessandro
Publicado: (2024)

Likelihood hacking in probabilistic program synthesis
por: Karwowski, Jacek, et al.
Publicado: (2026)

EATXT: A textual concrete syntax for EAST-ADL
por: Zhang, Weixing, et al.
Publicado: (2024)

Scoped Effects as Parameterized Algebraic Theories
por: Matache, Cristina, et al.
Publicado: (2024)

Automated Amortised Analysis of Skew Heaps and Leftist Heaps (Extended Version)
por: Walch, Armin, et al.
Publicado: (2026)

The Relative Monadic Metalanguage
por: Liell-Cock, Jack, et al.
Publicado: (2025)

Automated Expected Amortised Cost Analysis of Probabilistic Data Structures
por: Leutgeb, Lorenz, et al.
Publicado: (2022)

On Propositional Program Equivalence (extended abstract)
por: Kappé, Tobias
Publicado: (2025)

GPU accelerated program synthesis: Enumerate semantics, not syntax!
por: Berger, Martin, et al.
Publicado: (2025)

Completeness in static analysis by abstract interpretation, a personal point of view
por: Monniaux, David
Publicado: (2022)

Probabilistic programming interfaces for random graphs: Markov categories, graphons, and nominal sets
por: Ackerman, Nathanael L., et al.
Publicado: (2023)

Pyrosome: Verified Compilation for Modular Metatheory
por: Jamner, Dustin, et al.
Publicado: (2025)

Compilation of Modular and General Sparse Workspaces
por: Zhang, Genghan, et al.
Publicado: (2024)

Composing Automatic Differentiation with Custom Derivatives of Higher-Order Functions
por: Estep, Sam
Publicado: (2024)

Pictorial syntax
por: Kevin J. Lande
Publicado: (2024)

Modular Probabilistic Models via Algebraic Effects
por: Nguyen, Minh, et al.
Publicado: (2022)

MLIR-Forge: A Modular Framework for Language Smiths
por: Ates, Berke, et al.
Publicado: (2026)

A Modular Program-Transformation Framework for Reducing Specifications to Reachability
por: Beyer, Dirk, et al.
Publicado: (2025)

JoinActors: A Modular Library for Actors with Join Patterns
por: Hussein, Ayman, et al.
Publicado: (2026)

Relating Answer Set Programming and Many-sorted Logics for Formal Verification
por: Hansen, Zachary
Publicado: (2025)

The evolutionary psychology of syntax
por: Michael Tomasello
Publicado: (2025)

Rows and Capabilities as Modal Effects
por: Tang, Wenhao, et al.
Publicado: (2025)

Phoenix: A Modular and Versatile Framework for C/C++ Pointer Analysis
por: Yao, Peisen, et al.
Publicado: (2026)

The Ghosts of Empires: Extracting Modularity from Interleaving-Based Proofs (Extended Version)
por: Schüssele, Frank, et al.
Publicado: (2025)

Origami: (un)folding the abstraction of recursion schemes for program synthesis
por: Fernandes, Matheus Campos, et al.
Publicado: (2024)

Learning logic programs by discovering higher-order abstractions
por: Hocquette, Céline, et al.
Publicado: (2023)

All for One and One for All: Program Logics for Exploiting Internal Determinism in Parallel Programs
por: Moine, Alexandre, et al.
Publicado: (2025)

Can a domain-specific language improve program structure comprehension of data pipelines? A mixed-methods study
por: Heltweg, Philip, et al.
Publicado: (2025)