Image de couverture de livre

Type, Ability, and Effect Systems: Perspectives on Purity, Semantics, and Expressiveness

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Bao, Yuyan, Rompf, Tiark
Format:	Preprint
Publié:	2025
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

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

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

Complete the Cycle: Reachability Types with Expressive Cyclic References (Extended Version)
par: Deng, Haotian, et autres
Publié: (2025)

Free to Move: Reachability Types with Flow-Sensitive Effects for Safe Deallocation and Ownership Transfer
par: Deng, Haotian, et autres
Publié: (2025)

Modeling Reachability Types with Logical Relations
par: Bao, Yuyan, et autres
Publié: (2023)

Let Functions Speak: Lightweight Parametric Polymorphism via Domain and Range Types
par: He, Siyuan, et autres
Publié: (2026)

Typestate via Revocable Capabilities
par: Jia, Songlin, et autres
Publié: (2025)

On the Semantic Expressiveness of Iso- and Equi-Recursive Types
par: Devriese, Dominique, et autres
Publié: (2020)

On the Expressivity of Typed Concurrent Calculi
par: Paulus, Joseph William Neal
Publié: (2024)

Towards Definitional Interpreters for Hoare Logics
par: Sun, Ke, et autres
Publié: (2026)

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

Semantic-Type-Guided Bug Finding
par: Qian, Kelvin, et autres
Publié: (2024)

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

Increasing the Expressiveness of a Gradual Verifier
par: Gupta, Priyam
Publié: (2025)

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

SafeTree: Expressive Tree Policies for Microservices
par: Grewal, Karuna, et autres
Publié: (2025)

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

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

Remarks on Algebraic Reconstruction of Types and Effects
par: Balik, Patrycja, et autres
Publié: (2026)

The Design Principles of the Elixir Type System
par: Castagna, Giuseppe, et autres
Publié: (2023)

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

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

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

Qmod: Expressive High-Level Quantum Modeling
par: Vax, Matan, et autres
Publié: (2025)

Cedar: A New Language for Expressive, Fast, Safe, and Analyzable Authorization (Extended Version)
par: Cutler, Joseph W., 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)

A Multi-Perspective Architecture for Semantic Code Search
par: Haldar, Rajarshi, et autres
Publié: (2020)

What's in the Box: Ergonomic and Expressive Capture Tracking over Generic Data Structures (Extended Version)
par: Xu, Yichen, et autres
Publié: (2025)

Bithoven: Formal Safety for Expressive Bitcoin Smart Contracts
par: Cho, Hyunhum, et autres
Publié: (2026)

Semantics, Specification, and Bounded Verification of Concurrent Libraries in Replicated Systems
par: Nagar, Kartik, et autres
Publié: (2020)

Rebound: Efficient, Expressive, and Well-Scoped Binding
par: De Santo, Noé, et autres
Publié: (2025)

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

Syntax and Semantics of Linear Dependent Types
par: Vákár, Matthijs
Publié: (2014)

Is Productivity in Quantum Programming Equivalent to Expressiveness?
par: Corrales-Garro, Francini, et autres
Publié: (2025)

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

Expressive Power of One-Shot Control Operators and Coroutines
par: Kobayashi, Kentaro, et autres
Publié: (2025)

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

Expressivity of AuDaLa: Turing Completeness and Possible Extensions
par: Franken, Tom T. P., et autres
Publié: (2024)

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