Imagen de Portada

Modal Effect Types

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autores principales:	Tang, Wenhao, White, Leo, Dolan, Stephen, Hillerström, Daniel, Lindley, Sam, Lorenzen, Anton
Formato:	Preprint
Publicado:	2024
Materias:	Programming Languages
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

Rows and Capabilities as Modal Effects
por: Tang, Wenhao, et al.
Publicado: (2025)

Soundly Handling Linearity
por: Tang, Wenhao, et al.
Publicado: (2023)

Persistent Amortised Analysis, Operationally
por: Lorenzen, Anton
Publicado: (2026)

Behavioural Types for Heterogeneous Systems (Position Paper)
por: Fowler, Simon, et al.
Publicado: (2024)

An Equational Axiomatization of Dynamic Threads via Algebraic Effects: Presheaves on Finite Relations, Labelled Posets, and Parameterized Algebraic Theories
por: Kammar, Ohad, et al.
Publicado: (2026)

Scoped Effects as Parameterized Algebraic Theories
por: Matache, Cristina, et al.
Publicado: (2024)

Separating Sessions Smoothly
por: Fowler, Simon, et al.
Publicado: (2021)

Unboxed data constructors -- or, how cpp decides a halting problem
por: Chataing, Nicolas, et al.
Publicado: (2023)

TypeDis: A Type System for Disentanglement
por: Moine, Alexandre, et al.
Publicado: (2025)

A Calculus for Scoped Effects & Handlers
por: Bosman, Roger, et al.
Publicado: (2023)

From High to Low: Simulating Nondeterminism and State with State
por: Tang, Wenhao, et al.
Publicado: (2023)

Graded Modal Types for Integrity and Confidentiality
por: Marshall, Danielle, et al.
Publicado: (2023)

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

Type Universes as Allocation Effects
por: Koronkevich, Paulette, et al.
Publicado: (2024)

Remarks on Algebraic Reconstruction of Types and Effects
por: Balik, Patrycja, et al.
Publicado: (2026)

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

Type, Ability, and Effect Systems: Perspectives on Purity, Semantics, and Expressiveness
por: Bao, Yuyan, et al.
Publicado: (2025)

Composing Automatic Differentiation with Custom Derivatives of Higher-Order Functions
por: Estep, Sam
Publicado: (2024)

Typing Strictness (Extended Version)
por: Sainati, Daniel, et al.
Publicado: (2025)

Simple Modal Types for Functional Reactive Programming
por: Bahr, Patrick
Publicado: (2025)

Free to Move: Reachability Types with Flow-Sensitive Effects for Safe Deallocation and Ownership Transfer
por: Deng, Haotian, et al.
Publicado: (2025)

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

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

A model of stochastic memoization and name generation in probabilistic programming: categorical semantics via monads on presheaf categories
por: Kaddar, Younesse, et al.
Publicado: (2023)

Local Type Inference for Context-Free Session Types
por: Almeida, Bernardo, et al.
Publicado: (2025)

Stream Types
por: Cutler, Joseph W., et al.
Publicado: (2023)

Efficient Selection of Type Annotations for Performance Improvement in Gradual Typing
por: Li, Senxi, et al.
Publicado: (2026)

Typing Composite Subjects
por: Aceto, Luca, et al.
Publicado: (2024)

Polymorphic Coverage Types
por: Zhou, Zhe, et al.
Publicado: (2023)

Abstraction Functions as Types
por: Grodin, Harrison, et al.
Publicado: (2025)

Typing Composable Coroutines
por: Gu, Qiqi, et al.
Publicado: (2023)

Gradual Sensitivity Typing
por: Arquez, Damian, et al.
Publicado: (2023)

Escape with Your Self: Sound and Expressive Bidirectional Typing with Avoidance for Reachability Types
por: Jia, Songlin, et al.
Publicado: (2024)

Typing Fallback Functions: A Semantic Approach to Type Safe Smart Contracts
por: Lybech, Stian, et al.
Publicado: (2025)

All for One and One for All: Program Logics for Exploiting Internal Determinism in Parallel Programs
por: Moine, Alexandre, et al.
Publicado: (2025)

Synchronous Programming with Refinement Types
por: Chen, Jiawei, et al.
Publicado: (2024)

Full Iso-recursive Types
por: Zhou, Litao, et al.
Publicado: (2024)

Contextual Metaprogramming for Session Types
por: Ângelo, Pedro, et al.
Publicado: (2026)

Navigating the Python Type Jungle
por: Nacu, Andrei, et al.
Publicado: (2025)

Set-theoretic Types for Erlang
por: Schimpf, Albert, et al.
Publicado: (2023)