Image de couverture de livre

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

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Schimpf, Albert, Wehr, Stefan, Bieniusa, Annette
Format:	Preprint
Publié:	2026
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

Set-theoretic Types for Erlang
par: Schimpf, Albert, et autres
Publié: (2023)

Semantic Subtyping for Maps in Erlang
par: Yildirim, Erdem, et autres
Publié: (2025)

A Second Soul: Celebrating the Many Languages of Programming -- Festschrift in Honor of Peter Thiemann's Sixtieth Birthday
par: Bieniusa, Annette, et autres
Publié: (2024)

Distributed Locking as a Data Type
par: Haas, Julian, et autres
Publié: (2024)

A Datalog Framework for Conflict-Free Replicated Data Types
par: Yanakieva, Elena, et autres
Publié: (2026)

PRDTs: Composable Knowledge-Based Consensus Protocols with Replicated Data Types
par: Haas, Julian, et autres
Publié: (2025)

LoRe: A Programming Model for Verifiably Safe Local-First Software
par: Haas, Julian, et autres
Publié: (2023)

CobbleDB: Modelling Levelled Storage by Composition
par: Ma, Emilie, et autres
Publié: (2026)

From Traces to Program Incorrectness: A Type-Theoretic Approach
par: Yuan, Yongwei, et autres
Publié: (2025)

Formalization and Implementation of Safe Destination Passing in Pure Functional Programming Settings
par: Bagrel, Thomas
Publié: (2026)

Filling the Gaps of Polarity: Implementing Dependent Data and Codata Types with Implicit Arguments
par: Liesnikov, Bohdan, et autres
Publié: (2025)

A Two-Level Linear Dependent Type Theory
par: Fu, Qiancheng, et autres
Publié: (2023)

Type Theory With Erasure
par: Theocharis, Constantine, et autres
Publié: (2026)

Erlang Binary and Source Code Obfuscation
par: Morse, Gregory, et autres
Publié: (2026)

Session Types for the Transport Layer: Towards an Implementation of TCP
par: Cavoj, Samuel, et autres
Publié: (2024)

Layered Modal Type Theories
par: Hu, Jason Z. S., et autres
Publié: (2023)

Denotational Semantics of Gradual Typing using Synthetic Guarded Domain Theory (Extended Version)
par: Giovannini, Eric, et autres
Publié: (2024)

A Type Theory with a Tiny Object
par: Riley, Mitchell
Publié: (2024)

Dependent Multiplicities in Dependent Linear Type Theory
par: Doré, Maximilian
Publié: (2025)

Evaluating Program Semantics Reasoning with Type Inference in System F
par: He, Yifeng, et autres
Publié: (2025)

Stratified Type Theory
par: Chan, Jonathan, et autres
Publié: (2023)

Combining Type Checking and Set Constraint Solving to Improve Automated Software Verification
par: Cristiá, Maximiliano, et autres
Publié: (2022)

TypeDis: A Type System for Disentanglement
par: Moine, Alexandre, et autres
Publié: (2025)

Semantics of Sets of Programs
par: Kim, Jinwoo, et autres
Publié: (2024)

A Graded Modal Dependent Type Theory with Erasure, Formalized
par: Abel, Andreas, et autres
Publié: (2026)

Foundations of Substructural Dependent Type Theory
par: Aberlé, C. B.
Publié: (2024)

Polynomial Universes in Homotopy Type Theory
par: Aberlé, C. B., et autres
Publié: (2024)

Local Type Inference for Context-Free Session Types
par: Almeida, Bernardo, et autres
Publié: (2025)

Target-Aware Implementation of Real Expressions
par: Saiki, Brett, et autres
Publié: (2024)

Stream Types
par: Cutler, Joseph W., et autres
Publié: (2023)

Efficient Selection of Type Annotations for Performance Improvement in Gradual Typing
par: Li, Senxi, et autres
Publié: (2026)

A Monadic Implementation of Functional Logic Programs
par: Hanus, Michael, et autres
Publié: (2026)

Polymorphic Coverage Types
par: Zhou, Zhe, et autres
Publié: (2023)

Abstraction Functions as Types
par: Grodin, Harrison, et autres
Publié: (2025)

Typing Composite Subjects
par: Aceto, Luca, et autres
Publié: (2024)

Typing Composable Coroutines
par: Gu, Qiqi, et autres
Publié: (2023)

Modal Effect Types
par: Tang, Wenhao, et autres
Publié: (2024)

Gradual Sensitivity Typing
par: Arquez, Damian, et autres
Publié: (2023)

Escape with Your Self: Sound and Expressive Bidirectional Typing with Avoidance for Reachability Types
par: Jia, Songlin, et autres
Publié: (2024)

Typing Fallback Functions: A Semantic Approach to Type Safe Smart Contracts
par: Lybech, Stian, et autres
Publié: (2025)