Buchumschlag

Semantic Subtyping for Maps in Erlang

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Yildirim, Erdem, Schimpf, Albert, Wehr, Stefan, Bieniusa, Annette
Format:	Preprint
Veröffentlicht:	2025
Schlagworte:	Programming Languages
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Set-theoretic Types for Erlang
von: Schimpf, Albert, et al.
Veröffentlicht: (2023)

Set-Theoretic Types for Erlang: Theory, Implementation, and Evaluation
von: Schimpf, Albert, et al.
Veröffentlicht: (2026)

A Second Soul: Celebrating the Many Languages of Programming -- Festschrift in Honor of Peter Thiemann's Sixtieth Birthday
von: Bieniusa, Annette, et al.
Veröffentlicht: (2024)

LoRe: A Programming Model for Verifiably Safe Local-First Software
von: Haas, Julian, et al.
Veröffentlicht: (2023)

CobbleDB: Modelling Levelled Storage by Composition
von: Ma, Emilie, et al.
Veröffentlicht: (2026)

A Datalog Framework for Conflict-Free Replicated Data Types
von: Yanakieva, Elena, et al.
Veröffentlicht: (2026)

PRDTs: Composable Knowledge-Based Consensus Protocols with Replicated Data Types
von: Haas, Julian, et al.
Veröffentlicht: (2025)

Distributed Locking as a Data Type
von: Haas, Julian, et al.
Veröffentlicht: (2024)

Towards Algebraic Subtyping for Extensible Records
von: Marques, Rodrigo, et al.
Veröffentlicht: (2024)

A Sound and Complete Characterization of Fair Asynchronous Session Subtyping
von: Bravetti, Mario, et al.
Veröffentlicht: (2025)

Three Subtyping Algorithms for Binary Session Types and their Complexity Analyses
von: Udomsrirungruang, Thien, et al.
Veröffentlicht: (2024)

Fair Asynchronous Session Subtyping
von: Bravetti, Mario, et al.
Veröffentlicht: (2021)

Three Subtyping Algorithms for Binary Session Types and their Complexity Analyses (full version)
von: Udomsrirungruang, Thien, et al.
Veröffentlicht: (2024)

Erlang Binary and Source Code Obfuscation
von: Morse, Gregory, et al.
Veröffentlicht: (2026)

MappedTrace: Tracing Pointer Remotely with Compiler-generated Maps
von: Ma, Zhiyao, et al.
Veröffentlicht: (2025)

Semantics of Sets of Programs
von: Kim, Jinwoo, et al.
Veröffentlicht: (2024)

An Operational Semantics for Yul
von: Koutavas, Vasileios, et al.
Veröffentlicht: (2024)

Causality and Semantic Separation
von: Zhang, Anna, et al.
Veröffentlicht: (2026)

Big-Stop Semantics: Small-Step Semantics in a Big-Step Judgment
von: Kahn, David M, et al.
Veröffentlicht: (2025)

Compilation as Multi-Language Semantics
von: Bowman, William J.
Veröffentlicht: (2025)

Verification of the Release-Acquire Semantics
von: Abdulla, Parosh, et al.
Veröffentlicht: (2025)

The Simulation Semantics of Synthesisable Verilog
von: Lööw, Andreas
Veröffentlicht: (2025)

Joint Distributions in Probabilistic Semantics
von: Kozen, Dexter, et al.
Veröffentlicht: (2023)

Persistent Iterators with Value Semantics
von: Li, Yihe, et al.
Veröffentlicht: (2026)

Efficient Cost Bounds with Linear Maps
von: Kahn, David M, et al.
Veröffentlicht: (2025)

Coverage Semantics for Dependent Pattern Matching
von: Eremondi, Joseph, et al.
Veröffentlicht: (2025)

A Denotational Semantics for Quantum Loops
von: Assolini, Nicola, et al.
Veröffentlicht: (2025)

The Parallel Semantics Program Dependence Graph
von: Homerding, Brian, et al.
Veröffentlicht: (2024)

Semantic-Type-Guided Bug Finding
von: Qian, Kelvin, et al.
Veröffentlicht: (2024)

Membership Testing for Semantic Regular Expressions
von: Huang, Yifei, et al.
Veröffentlicht: (2024)

Beyond BLEU: A Semantic Evaluation Method for Code Translation
von: Näumann, Julius, et al.
Veröffentlicht: (2026)

Semantically Separating Nominal Wyvern for Usability and Decidability
von: Zhu, Yu Xiang, et al.
Veröffentlicht: (2025)

A Refined Operational Semantics for FreeCHR
von: Rechenberger, Sascha, et al.
Veröffentlicht: (2025)

Compilation Semantics for a Programming Language with Versions
von: Tanabe, Yudai, et al.
Veröffentlicht: (2023)

Synthesizing Formal Semantics from Executable Interpreters
von: Liu, Jiangyi, et al.
Veröffentlicht: (2024)

On the Semantic Expressiveness of Iso- and Equi-Recursive Types
von: Devriese, Dominique, et al.
Veröffentlicht: (2020)

Critical Semantic Properties of Music Notation Datasets
von: Lepper, Markus, et al.
Veröffentlicht: (2024)

Compiling by Proving: Language-Agnostic Automatic Optimization from Formal Semantics
von: Zhao, Jianhong, et al.
Veröffentlicht: (2025)

Actegories, Copowers, and Higher-Order Message Passing Semantics
von: Cockett, Robin, et al.
Veröffentlicht: (2025)

Semantic foundations of equality saturation
von: Suciu, Dan, et al.
Veröffentlicht: (2025)