Imagen de Portada

Soundly Handling Linearity

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autores principales:	Tang, Wenhao, Hillerström, Daniel, Lindley, Sam, Morris, J. Garrett
Formato:	Preprint
Publicado:	2023
Materias:	Programming Languages
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

Modal Effect Types
por: Tang, Wenhao, et al.
Publicado: (2024)

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

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

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)

Understanding Haskell-style Overloading via Open Data and Open Functions
por: Marmaduke, Andrew, et al.
Publicado: (2025)

Abstracting Extensible Recursive Functions
por: Hubers, Alex, et al.
Publicado: (2024)

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

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

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

Handling Scope Checks (Extended Version)
por: Lee, Michael, et al.
Publicado: (2026)

Handling Exceptions and Effects with Automatic Resource Analysis
por: Chu, Ethan, et al.
Publicado: (2026)

Composable Effect Handling for Programming LLM-integrated Scripts
por: Wang, Di
Publicado: (2025)

Handling Higher-Order Effectful Operations with Judgemental Monadic Laws
por: Yang, Zhixuan, et al.
Publicado: (2025)

Getting a Handle on Unmanaged Memory
por: Wanninger, Nick, et al.
Publicado: (2024)

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

Handling the Selection Monad (Full Version)
por: Plotkin, Gordon, et al.
Publicado: (2025)

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

Automated Verification of Soundness of DNN Certifiers
por: Singh, Avaljot, et al.
Publicado: (2025)

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

Sound Interval-Based Synthesis for Probabilistic Programs
por: Espada, Guilherme, et al.
Publicado: (2025)

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)

Linear Constraints
por: Spiwack, Arnaud, et al.
Publicado: (2026)

On the Complexity of Checking Soundness of Natural Reductions (Extended Version)
por: Enea, Constantin, et al.
Publicado: (2026)

A Sound Type System for Secure Currency Flow
por: Aceto, Luca, et al.
Publicado: (2024)

A Sound and Complete Characterization of Fair Asynchronous Session Subtyping
por: Bravetti, Mario, et al.
Publicado: (2025)

Sound State Encodings in Translational Separation Logic Verifiers (Extended Version)
por: Ling, Hongyi, et al.
Publicado: (2026)

Sound Borrow-Checking for Rust via Symbolic Semantics (Long Version)
por: Ho, Son, et al.
Publicado: (2024)

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

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

Deciding not to Decide: Sound and Complete Effect Inference in the Presence of Higher-Rank Polymorphism
por: Balik, Patrycja, et al.
Publicado: (2025)

PIP: Making Andersen's Points-to Analysis Sound and Practical for Incomplete C Programs
por: Krogstie, Håvard Rognebakke, et al.
Publicado: (2025)

Fusing Gathers with Integer Linear Programming
por: van Balen, David, et al.
Publicado: (2024)

Efficient Cost Bounds with Linear Maps
por: Kahn, David M, et al.
Publicado: (2025)

Conversational Concurrency with Dataspaces and Facets
por: Caldwell, Sam, et al.
Publicado: (2025)

Multi-Language Probabilistic Programming
por: Stites, Sam, et al.
Publicado: (2025)

CoreDPPL: Towards a Sound Composition of Differentiation, ODE Solving, and Probabilistic Programming
por: Eriksson, Oscar, et al.
Publicado: (2025)

Lazy Linearity for a Core Functional Language
por: Mesquita, Rodrigo, et al.
Publicado: (2025)

Partial Reductions for Kleene Algebra with Linear Hypotheses
por: Chung, Liam, et al.
Publicado: (2026)

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

Rose: Composable Autodiff for the Interactive Web
por: Estep, Sam, et al.
Publicado: (2024)