Cover Image

Guard Analysis and Safe Erasure Gradual Typing: a Type System for Elixir

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Castagna, Giuseppe, Duboc, Guillaume
Format:	Preprint
Published:	2024
Subjects:	Programming Languages Logic in Computer Science
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

The Design Principles of the Elixir Type System
by: Castagna, Giuseppe, et al.
Published: (2023)

Type Theory With Erasure
by: Theocharis, Constantine, et al.
Published: (2026)

A Graded Modal Dependent Type Theory with Erasure, Formalized
by: Abel, Andreas, et al.
Published: (2026)

Orthologic Type Systems
by: Guilloud, Simon, et al.
Published: (2025)

A Type System for Data Flow and Alias Analysis in ReScript
by: Lund, Nicky Ask, et al.
Published: (2024)

Gradual Exact Logic: Unifying Hoare Logic and Incorrectness Logic via Gradual Verification
by: Zimmerman, Conrad, et al.
Published: (2024)

On Representability of Multiple-Valued Functions by Linear Lambda Terms Typed with Second-order Polymorphic Type System
by: Matsuoka, Satoshi
Published: (2026)

On the Expressivity of Typed Concurrent Calculi
by: Paulus, Joseph William Neal
Published: (2024)

Logic Programming with Extensible Types
by: Perez, Ivan, et al.
Published: (2026)

Type-Based Termination for Futures
by: Somayyajula, Siva, et al.
Published: (2021)

Layered Modal Type Theories
by: Hu, Jason Z. S., et al.
Published: (2023)

Dependent Type Refinements for Futures
by: Somayyajula, Siva, et al.
Published: (2023)

A Complete Inference System for Skip-free Guarded Kleene Algebra with Tests
by: Kappé, Tobias, et al.
Published: (2023)

Impredicativity in Linear Dependent Type Theory
by: Speight, Sam, et al.
Published: (2026)

Linear Contextual Metaprogramming and Session Types
by: Ângelo, Pedro, et al.
Published: (2024)

Types, equations, dimensions and the Pi theorem
by: Botta, Nicola, et al.
Published: (2023)

Typed compositional quantum computation with lenses
by: Garrigue, Jacques, et al.
Published: (2023)

Almost-Sure Termination by Guarded Refinement
by: Gregersen, Simon Oddershede, et al.
Published: (2024)

Hybrid Intersection Types for PCF (Extended Version)
by: Barenbaum, Pablo, et al.
Published: (2024)

Monadic Intersection Types, Relationally (Extended Version)
by: Gavazzo, Francesco, et al.
Published: (2024)

Dependent Multiplicities in Dependent Linear Type Theory
by: Doré, Maximilian
Published: (2025)

Gradual Verification for Smart Contracts
by: Sun, Haojia, et al.
Published: (2023)

On Decidable and Undecidable Extensions of Simply Typed Lambda Calculus
by: Kobayashi, Naoki
Published: (2024)

Typed Non-determinism in Concurrent Calculi: The Eager Way
by: Heuvel, Bas van den, et al.
Published: (2024)

Crash-Stop Failures in Asynchronous Multiparty Session Types
by: Barwell, Adam D., et al.
Published: (2023)

Modelling Recursion and Probabilistic Choice in Guarded Type Theory
by: Stassen, Philipp Jan Andries, et al.
Published: (2024)

Regrading Policies for Flexible Information Flow Control in Session-Typed Concurrency
by: Derakhshan, Farzaneh, et al.
Published: (2024)

An Enumerative Embedding of the Python Type System in ACL2s
by: Xifaras, Samuel, et al.
Published: (2025)

Towards Multiparty Session Types for Highly-Concurrent and Fault-Tolerant Web Applications
by: Casetta, Richard, et al.
Published: (2026)

Combining Type Checking and Set Constraint Solving to Improve Automated Software Verification
by: Cristiá, Maximiliano, et al.
Published: (2022)

DeLaM: A Dependent Layered Modal Type Theory for Meta-programming
by: Hu, Jason Z. S., et al.
Published: (2024)

WebPie: A Tiny Slice of Dependent Typing
by: Scholliers, Christophe
Published: (2024)

Thread and Memory-Safe Programming with CLASS
by: Caires, Luís
Published: (2025)

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

Polynomial Universes in Homotopy Type Theory
by: Aberlé, C. B., et al.
Published: (2024)

Syntax and Semantics of Linear Dependent Types
by: Vákár, Matthijs
Published: (2014)

Non-Cartesian Guarded Recursion with Daggers
by: Lemonnier, Louis
Published: (2024)

Linear effects, exceptions, and resource safety: a Curry-Howard correspondence for destructors
by: Congard, Sidney, et al.
Published: (2025)

S4 modal sequent calculus as intermediate logic and intermediate language
by: Caspar, Jean, et al.
Published: (2026)

From Semantics to Syntax: A Type Theory for Comprehension Categories
by: Najmaei, Niyousha, et al.
Published: (2025)