Image de couverture de livre

The Design Principles of the Elixir Type System

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Castagna, Giuseppe, Duboc, Guillaume, Valim, José
Format:	Preprint
Publié:	2023
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

Guard Analysis and Safe Erasure Gradual Typing: a Type System for Elixir
par: Castagna, Giuseppe, et autres
Publié: (2024)

Programming with union, intersection, and negation types
par: Castagna, Giuseppe
Publié: (2021)

Polymorphic Records for Dynamic Languages
par: Castagna, Giuseppe, et autres
Publié: (2024)

Deriving Dependently-Typed OOP from First Principles -- Extended Version with Additional Appendices
par: Binder, David, et autres
Publié: (2024)

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

SynQ: An Embedded DSL for Synchronous System Design with Quantitative Types
par: Chen, Rui, et autres
Publié: (2025)

Scoped and Typed Staging by Evaluation
par: Allais, Guillaume
Publié: (2023)

Behavioural Types for Heterogeneous Systems (Position Paper)
par: Fowler, Simon, et autres
Publié: (2024)

Information Aware Type Systems and Telescopic Constraint Trees
par: Cowderoy, Philippa
Publié: (2024)

A Sound Type System for Secure Currency Flow
par: Aceto, Luca, et autres
Publié: (2024)

Designing Walrus: Relational Programming with Rich Types, On-Demand Laziness, and Structured Traces
par: Cuéllar, Santiago, et autres
Publié: (2025)

Type, Ability, and Effect Systems: Perspectives on Purity, Semantics, and Expressiveness
par: Bao, Yuyan, et autres
Publié: (2025)

Compiling Gradual Types with Evidence
par: Romero, José Luis, et autres
Publié: (2025)

A Type System for Data Privacy Compliance in Active Object Languages
par: Baramashetru, Chinmayi Prabhu, et autres
Publié: (2025)

Dimensional Type Systems and Deterministic Memory Management: Design-Time Semantic Preservation in Native Compilation
par: Haynes, Houston
Publié: (2026)

Orthologic Type Systems
par: Guilloud, Simon, et autres
Publié: (2025)

Kotlin's Type System is (Also) Unsound
par: Kinsbruner, Elad, et autres
Publié: (2024)

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

Synchronous Programming with Refinement Types
par: Chen, Jiawei, et autres
Publié: (2024)

When Lifetimes Liberate: A Type System for Arenas with Higher-Order Reachability Tracking
par: He, Siyuan, et autres
Publié: (2025)

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

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)

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

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

Gradual Sensitivity Typing
par: Arquez, Damian, 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)

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

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)

Numerical Fuzz: A Type System for Rounding Error Analysis
par: Kellison, Ariel E., et autres
Publié: (2024)

A Type System to Ensure Non-Interference in ReScript
par: Bennetzen, Benjamin, et autres
Publié: (2024)

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

Contextual Metaprogramming for Session Types
par: Ângelo, Pedro, et autres
Publié: (2026)

Navigating the Python Type Jungle
par: Nacu, Andrei, et autres
Publié: (2025)

Type-Based Incorrectness Reasoning
par: Zhou, Zhe, et autres
Publié: (2025)

Type Universes as Allocation Effects
par: Koronkevich, Paulette, et autres
Publié: (2024)

Typing Strictness (Extended Version)
par: Sainati, Daniel, et autres
Publié: (2025)

If-T: A Benchmark for Type Narrowing
par: Guo, Hanwen, et autres
Publié: (2025)