Imagen de Portada

Functional Ownership through Fractional Uniqueness

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autores principales:	Marshall, Danielle, Orchard, Dominic
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

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

Replicate, Reuse, Repeat: Capturing Non-Linear Communication via Session Types and Graded Modal Types
por: Marshall, Danielle, et al.
Publicado: (2022)

A Mixed Linear and Graded Logic: Proofs, Terms, and Models (with appendices)
por: Vollmer, Victoria, et al.
Publicado: (2024)

Incremental units-of-measure verification
por: Danish, Matthew, et al.
Publicado: (2024)

Cognacy Queries over Dependence Graphs for Transparent Visualisations
por: Bond, Joseph, et al.
Publicado: (2024)

Literate Execution
por: Bond, Joe, et al.
Publicado: (2026)

Ownership Refinement Types for Pointer Arithmetic and Nested Arrays
por: Fujiwara, Yusuke, et al.
Publicado: (2026)

Special Delivery: Programming with Mailbox Types (Extended Version)
por: Fowler, Simon, et al.
Publicado: (2023)

Place Capability Graphs: A General-Purpose Model of Rust's Ownership and Borrowing Guarantees
por: Grannan, Zachary, et al.
Publicado: (2025)

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

Imperative Quantum Programming with Ownership and Borrowing in Guppy
por: Koch, Mark, et al.
Publicado: (2025)

Ownership in low-level intermediate representation
por: Priya, Siddharth, et al.
Publicado: (2024)

A Tutorial in Creating Web-Enabled Databases with Inmagic DB/TextWorks through ODBC.
por: Breeding, Marshall
Publicado: (2000)

vNV-Heap: An Ownership-Based Virtually Non-Volatile Heap for Embedded Systems
por: Gerber, Markus Elias, et al.
Publicado: (2025)

Nice to Meet You: Synthesizing Practical MLIR Abstract Transformers
por: Peng, Xuanyu, et al.
Publicado: (2025)

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

Finite Functional Programming
por: Arntzenius, Michael, et al.
Publicado: (2026)

Functional Meaning for Parallel Streaming
por: Rioux, Nick, et al.
Publicado: (2025)

Functional Logic Program Transformations
por: Hanus, Michael, et al.
Publicado: (2026)

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

Reactive Programming without Functions
por: Oeyen, Bjarno, et al.
Publicado: (2024)

Debugging Functional Programs by Interpretation
por: Whitington, John
Publicado: (2024)

Grokking the Sequent Calculus (Functional Pearl)
por: Binder, David, et al.
Publicado: (2024)

Functional Reasoning for Distributed Systems with Failures
por: Ni, Haobin, et al.
Publicado: (2025)

Functional Programming in Learning Electromagnetic Theory
por: Walck, Scott N.
Publicado: (2024)

Uniqueness is Separation
por: O'Connor, Liam, et al.
Publicado: (2026)

Invertible Syntax without the Tuples (Functional Pearl)
por: Boespflug, Mathieu, et al.
Publicado: (2025)

Step in Tine: Forking Processes in Functional Choreographies
por: Samuelson, Ashley, et al.
Publicado: (2026)

Fast Trigonometric Functions using the RLIBM Approach
por: Park, Sehyeok, et al.
Publicado: (2025)

A Monadic Implementation of Functional Logic Programs
por: Hanus, Michael, et al.
Publicado: (2026)

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

Typed Embedding of miniKanren for Functional Conversion
por: Engel, Igor, et al.
Publicado: (2025)

Soteria: Efficient Symbolic Execution as a Functional Library
por: Ayoun, Sacha-Élie, et al.
Publicado: (2025)

Parameterized Algorithms and Complexity for Function Merging with Branch Reordering
por: Goharshady, Amir K., et al.
Publicado: (2026)

Proceedings of the Thirteenth Workshop on Trends in Functional Programming in Education
por: Chang, Stephen
Publicado: (2024)

Dual-Numbers Reverse AD for Functional Array Languages
por: Smeding, Tom, et al.
Publicado: (2025)

WaveCert: Translation Validation for Asynchronous Dataflow Programs via Dynamic Fractional Permissions
por: Lin, Zhengyao, et al.
Publicado: (2023)

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

Proving Functional Program Equivalence via Directed Lemma Synthesis
por: Sun, Yican, et al.
Publicado: (2024)

Expanding Specification Capabilities of a Gradual Verifier with Pure Functions
por: Mutlu, Doruk Alp
Publicado: (2025)