Buchumschlag

Set-Theoretic Types for Erlang: Theory, Implementation, and Evaluation

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Schimpf, Albert, Wehr, Stefan, Bieniusa, Annette
Format:	Preprint
Veröffentlicht:	2026
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)

Semantic Subtyping for Maps in Erlang
von: Yildirim, Erdem, et al.
Veröffentlicht: (2025)

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)

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

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)

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)

From Traces to Program Incorrectness: A Type-Theoretic Approach
von: Yuan, Yongwei, et al.
Veröffentlicht: (2025)

Formalization and Implementation of Safe Destination Passing in Pure Functional Programming Settings
von: Bagrel, Thomas
Veröffentlicht: (2026)

Filling the Gaps of Polarity: Implementing Dependent Data and Codata Types with Implicit Arguments
von: Liesnikov, Bohdan, et al.
Veröffentlicht: (2025)

A Two-Level Linear Dependent Type Theory
von: Fu, Qiancheng, et al.
Veröffentlicht: (2023)

Type Theory With Erasure
von: Theocharis, Constantine, et al.
Veröffentlicht: (2026)

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

Session Types for the Transport Layer: Towards an Implementation of TCP
von: Cavoj, Samuel, et al.
Veröffentlicht: (2024)

Layered Modal Type Theories
von: Hu, Jason Z. S., et al.
Veröffentlicht: (2023)

Denotational Semantics of Gradual Typing using Synthetic Guarded Domain Theory (Extended Version)
von: Giovannini, Eric, et al.
Veröffentlicht: (2024)

A Type Theory with a Tiny Object
von: Riley, Mitchell
Veröffentlicht: (2024)

Dependent Multiplicities in Dependent Linear Type Theory
von: Doré, Maximilian
Veröffentlicht: (2025)

Evaluating Program Semantics Reasoning with Type Inference in System F
von: He, Yifeng, et al.
Veröffentlicht: (2025)

Stratified Type Theory
von: Chan, Jonathan, et al.
Veröffentlicht: (2023)

Combining Type Checking and Set Constraint Solving to Improve Automated Software Verification
von: Cristiá, Maximiliano, et al.
Veröffentlicht: (2022)

TypeDis: A Type System for Disentanglement
von: Moine, Alexandre, et al.
Veröffentlicht: (2025)

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

A Graded Modal Dependent Type Theory with Erasure, Formalized
von: Abel, Andreas, et al.
Veröffentlicht: (2026)

Foundations of Substructural Dependent Type Theory
von: Aberlé, C. B.
Veröffentlicht: (2024)

Polynomial Universes in Homotopy Type Theory
von: Aberlé, C. B., et al.
Veröffentlicht: (2024)

Local Type Inference for Context-Free Session Types
von: Almeida, Bernardo, et al.
Veröffentlicht: (2025)

Target-Aware Implementation of Real Expressions
von: Saiki, Brett, et al.
Veröffentlicht: (2024)

Stream Types
von: Cutler, Joseph W., et al.
Veröffentlicht: (2023)

Efficient Selection of Type Annotations for Performance Improvement in Gradual Typing
von: Li, Senxi, et al.
Veröffentlicht: (2026)

A Monadic Implementation of Functional Logic Programs
von: Hanus, Michael, et al.
Veröffentlicht: (2026)

Polymorphic Coverage Types
von: Zhou, Zhe, et al.
Veröffentlicht: (2023)

Abstraction Functions as Types
von: Grodin, Harrison, et al.
Veröffentlicht: (2025)

Typing Composite Subjects
von: Aceto, Luca, et al.
Veröffentlicht: (2024)

Typing Composable Coroutines
von: Gu, Qiqi, et al.
Veröffentlicht: (2023)

Modal Effect Types
von: Tang, Wenhao, et al.
Veröffentlicht: (2024)

Gradual Sensitivity Typing
von: Arquez, Damian, et al.
Veröffentlicht: (2023)

Escape with Your Self: Sound and Expressive Bidirectional Typing with Avoidance for Reachability Types
von: Jia, Songlin, et al.
Veröffentlicht: (2024)

Typing Fallback Functions: A Semantic Approach to Type Safe Smart Contracts
von: Lybech, Stian, et al.
Veröffentlicht: (2025)