Buchumschlag

Soundly Handling Linearity

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Tang, Wenhao, Hillerström, Daniel, Lindley, Sam, Morris, J. Garrett
Format:	Preprint
Veröffentlicht:	2023
Schlagworte:	Programming Languages
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Modal Effect Types
von: Tang, Wenhao, et al.
Veröffentlicht: (2024)

Rows and Capabilities as Modal Effects
von: Tang, Wenhao, et al.
Veröffentlicht: (2025)

Separating Sessions Smoothly
von: Fowler, Simon, et al.
Veröffentlicht: (2021)

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

Understanding Haskell-style Overloading via Open Data and Open Functions
von: Marmaduke, Andrew, et al.
Veröffentlicht: (2025)

Abstracting Extensible Recursive Functions
von: Hubers, Alex, et al.
Veröffentlicht: (2024)

Behavioural Types for Heterogeneous Systems (Position Paper)
von: Fowler, Simon, et al.
Veröffentlicht: (2024)

From High to Low: Simulating Nondeterminism and State with State
von: Tang, Wenhao, et al.
Veröffentlicht: (2023)

Scoped Effects as Parameterized Algebraic Theories
von: Matache, Cristina, et al.
Veröffentlicht: (2024)

Handling Scope Checks (Extended Version)
von: Lee, Michael, et al.
Veröffentlicht: (2026)

Handling Exceptions and Effects with Automatic Resource Analysis
von: Chu, Ethan, et al.
Veröffentlicht: (2026)

Composable Effect Handling for Programming LLM-integrated Scripts
von: Wang, Di
Veröffentlicht: (2025)

Handling Higher-Order Effectful Operations with Judgemental Monadic Laws
von: Yang, Zhixuan, et al.
Veröffentlicht: (2025)

Getting a Handle on Unmanaged Memory
von: Wanninger, Nick, et al.
Veröffentlicht: (2024)

A Calculus for Scoped Effects & Handlers
von: Bosman, Roger, et al.
Veröffentlicht: (2023)

Handling the Selection Monad (Full Version)
von: Plotkin, Gordon, et al.
Veröffentlicht: (2025)

Composing Automatic Differentiation with Custom Derivatives of Higher-Order Functions
von: Estep, Sam
Veröffentlicht: (2024)

Automated Verification of Soundness of DNN Certifiers
von: Singh, Avaljot, et al.
Veröffentlicht: (2025)

Impredicativity in Linear Dependent Type Theory
von: Speight, Sam, et al.
Veröffentlicht: (2026)

Sound Interval-Based Synthesis for Probabilistic Programs
von: Espada, Guilherme, et al.
Veröffentlicht: (2025)

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

Linear Constraints
von: Spiwack, Arnaud, et al.
Veröffentlicht: (2026)

On the Complexity of Checking Soundness of Natural Reductions (Extended Version)
von: Enea, Constantin, et al.
Veröffentlicht: (2026)

A Sound Type System for Secure Currency Flow
von: Aceto, Luca, et al.
Veröffentlicht: (2024)

A Sound and Complete Characterization of Fair Asynchronous Session Subtyping
von: Bravetti, Mario, et al.
Veröffentlicht: (2025)

Sound State Encodings in Translational Separation Logic Verifiers (Extended Version)
von: Ling, Hongyi, et al.
Veröffentlicht: (2026)

Sound Borrow-Checking for Rust via Symbolic Semantics (Long Version)
von: Ho, Son, et al.
Veröffentlicht: (2024)

All for One and One for All: Program Logics for Exploiting Internal Determinism in Parallel Programs
von: Moine, Alexandre, et al.
Veröffentlicht: (2025)

Escape with Your Self: Sound and Expressive Bidirectional Typing with Avoidance for Reachability Types
von: Jia, Songlin, et al.
Veröffentlicht: (2024)

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

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

Fusing Gathers with Integer Linear Programming
von: van Balen, David, et al.
Veröffentlicht: (2024)

Efficient Cost Bounds with Linear Maps
von: Kahn, David M, et al.
Veröffentlicht: (2025)

Conversational Concurrency with Dataspaces and Facets
von: Caldwell, Sam, et al.
Veröffentlicht: (2025)

Multi-Language Probabilistic Programming
von: Stites, Sam, et al.
Veröffentlicht: (2025)

CoreDPPL: Towards a Sound Composition of Differentiation, ODE Solving, and Probabilistic Programming
von: Eriksson, Oscar, et al.
Veröffentlicht: (2025)

Lazy Linearity for a Core Functional Language
von: Mesquita, Rodrigo, et al.
Veröffentlicht: (2025)

Partial Reductions for Kleene Algebra with Linear Hypotheses
von: Chung, Liam, et al.
Veröffentlicht: (2026)

TypeDis: A Type System for Disentanglement
von: Moine, Alexandre, et al.
Veröffentlicht: (2025)

Rose: Composable Autodiff for the Interactive Web
von: Estep, Sam, et al.
Veröffentlicht: (2024)