On the public citation graph

Functional Ownership through Fractional Uniqueness

https://doi.org/10.1145/3649848
0 signed · 70 inferred · view as graph

Inferred edges come from two machine sources: sweeps of open repository metadata (mostly SSRN and Zenodo), and a bulk OpenAlex citation snapshot. Every row below is labelled with the one it came from. Neither is a complete citation index — absence here is not evidence of absence.

Is this your work? Sign in with ORCID and put your name on the claims that are yours.
Claim with ORCID
Reference health. See whether every reference in this work resolves to a known work and none has been retracted — and get a dated CiteStamped badge you can embed.
See reference health

What this work says

Outgoing claims: the papers this work cites, builds on, or argues with.

inferredcites →https://doi.org/10.1007/11693024_2openalex-snapshot
Linear Regions Are All You Need
inferredcites →https://doi.org/10.1007/3-540-44898-5_4openalex-snapshot
Checking Interference with Fractional Permissions
inferredcites →https://doi.org/10.1007/3-540-57787-4_23openalex-snapshot
Guaranteeing safe destructive updates through a type system with uniqueness information for graphs
inferredcites →https://doi.org/10.1007/3-540-58027-1_24openalex-snapshot
A syntax for linear logic
inferredcites →https://doi.org/10.1007/978-3-030-72019-3_17openalex-snapshot
Graded Modal Dependent Type Theory
inferredcites →https://doi.org/10.1007/978-3-030-99336-8_13openalex-snapshot
Linearity and Uniqueness: An Entente Cordiale
inferredcites →https://doi.org/10.1007/978-3-030-99336-8_14openalex-snapshot
A Framework for Substructural Type Systems
inferredcites →https://doi.org/10.1007/978-3-319-30936-1_12openalex-snapshot
I Got Plenty o’ Nuttin’
inferredcites →https://doi.org/10.1007/978-3-540-30557-6_8openalex-snapshot
Safe Programming with Pointers Through Stateful Views
inferredcites →https://doi.org/10.1007/978-3-540-45070-2_9openalex-snapshot
External Uniqueness Is Unique Enough
inferredcites →https://doi.org/10.1007/978-3-540-85373-2_12openalex-snapshot
Uniqueness Typing Simplified
inferredcites →https://doi.org/10.1007/978-3-642-36946-9_4openalex-snapshot
Notions of Aliasing and Ownership
inferredcites →https://doi.org/10.1007/978-3-642-40355-2_13openalex-snapshot
Modelling Unique and Affine Typing Using Polymorphism
inferredcites →https://doi.org/10.1007/978-3-642-54833-8_18openalex-snapshot
Bounded Linear Types in a Resource Semiring
inferredcites →https://doi.org/10.1007/978-3-642-54833-8_19openalex-snapshot
A Core Quantitative Coeffect Calculus
inferredcites →https://doi.org/10.1007/bfb0022251openalex-snapshot
A mixed linear and non-linear logic: Proofs, terms and models
inferredcites →https://doi.org/10.1007/bfb0053373openalex-snapshot
Balloon types: Controlling sharing of state in data types
inferredcites →https://doi.org/10.1016/0304-3975(87)90045-4openalex-snapshot
Linear logic
inferredcites →https://doi.org/10.1016/0304-3975(92)90386-topenalex-snapshot
Bounded linear logic: a modular approach to polynomial-time computability
inferredcites →https://doi.org/10.1016/j.tcs.2005.11.006openalex-snapshot
Uniqueness logic
inferredcites →https://doi.org/10.1016/s0743-1066(96)00068-4openalex-snapshot
The execution algorithm of mercury, an efficient purely declarative logic programming language
inferredcites →https://doi.org/10.1017/s095679682100023xopenalex-snapshot
Cogent: uniqueness types and certifying compilation
inferredcites →https://doi.org/10.1017/s0960129500070109openalex-snapshot
Uniqueness typing for functional languages with graph rewriting semantics
inferredcites →https://doi.org/10.1023/b:lisp.0000029446.78563.a4openalex-snapshot
A Retrospective on Region-Based Memory Management
inferredcites →https://doi.org/10.1145/1029873.1029883openalex-snapshot
Experience with safe manual memory-management in cyclone
inferredcites →https://doi.org/10.1145/1040305.1040327openalex-snapshot
Permission accounting in separation logic
inferredcites →https://doi.org/10.1145/118014.117975openalex-snapshot
Islands
inferredcites →https://doi.org/10.1145/1925844.1926436openalex-snapshot
Practical affine types
inferredcites →https://doi.org/10.1145/2628136.2628160openalex-snapshot
Coeffects
inferredcites →https://doi.org/10.1145/2837022openalex-snapshot
The Design and Formalization of Mezzo, a Permission-Based Programming Language
inferredcites →https://doi.org/10.1145/286936.286947openalex-snapshot
Ownership types for flexible alias protection
inferredcites →https://doi.org/10.1145/2951913.2951939openalex-snapshot
Combining effects and coeffects via grading
inferredcites →https://doi.org/10.1145/3158093openalex-snapshot
Linear Haskell: practical linearity in a higher-order polymorphic language
inferredcites →https://doi.org/10.1145/3158154openalex-snapshot
RustBelt: securing the foundations of the Rust programming language
inferredcites →https://doi.org/10.1145/3209108.3209189openalex-snapshot
Syntax and Semantics of Quantitative Type Theory
inferredcites →https://doi.org/10.1145/3342537openalex-snapshot
Language implementation for Quantitative Program Reasoning with Graded Modal Types
inferredcites →https://doi.org/10.1145/3371109openalex-snapshot
Stacked borrows: an aliasing model for Rust
inferredcites →https://doi.org/10.1145/3408972openalex-snapshot
A unified view of modalities in type systems
inferredcites →https://doi.org/10.1145/3408985openalex-snapshot
Kindly bent to free us
inferredcites →https://doi.org/10.1145/3434331openalex-snapshot
A graded dependent type system with a usage-aware semantics
inferredcites →https://doi.org/10.1145/3443420openalex-snapshot
A Lightweight Formalism for Reference Lifetimes and Borrowing in Rust
inferredcites →https://doi.org/10.1145/3453483.3454036openalex-snapshot
RefinedC: automating the foundational verification of C code with refined ownership types
inferredcites →https://doi.org/10.1145/3485516openalex-snapshot
Reachability types: tracking aliasing and separation in higher-order functional programs
inferredcites →https://doi.org/10.1145/3547626openalex-snapshot
Linearly qualified types: generic inference for capabilities and uniqueness
inferredcites →https://doi.org/10.1145/3563319openalex-snapshot
Coeffects for sharing and mutation
inferredcites →https://doi.org/10.1145/3607840openalex-snapshot
FP²: Fully in-Place Functional Programming
inferredcites →https://doi.org/10.1145/3607862openalex-snapshot
A Graded Modal Dependent Type Theory with a Universe and Erasure, Formalized
inferredcites →https://doi.org/10.1145/3609027.3609408openalex-snapshot
Combining Dependency, Grades, and Adjoint Logic
inferredcites →https://doi.org/10.1145/3622843openalex-snapshot
Resource-Aware Soundness for Big-Step Semantics
inferredcites →https://doi.org/10.1145/3632856openalex-snapshot
Polymorphic Reachability Types: Tracking Freshness, Aliasing, and Separation in Higher-Order Generic Programs
inferredcites →https://doi.org/10.1145/363911.363923openalex-snapshot
Typed memory management via static capabilities
inferredcites →https://doi.org/10.1145/73560.73564openalex-snapshot
Polymorphic effect systems
inferredcites →https://doi.org/10.1145/99583.99623openalex-snapshot
Algebraic reconstruction of types and effects
inferredcites →https://doi.org/10.4204/eptcs.22.3openalex-snapshot
Uniqueness Typing for Resource Management in Message-Passing Concurrency
inferredcites →https://doi.org/10.4204/eptcs.353.6openalex-snapshot
Deriving Distributive Laws for Graded Linear Types
inferredcites →https://doi.org/10.4204/eptcs.356.1openalex-snapshot
Replicate, Reuse, Repeat: Capturing Non-Linear Communication via Session Types and Graded Modal Types
inferredcites →https://doi.org/10.4230/lipics.ecoop.2019.14openalex-snapshot
NumLin: Linear Types for Linear Algebra
inferredcites →https://doi.org/10.4230/lipics.ecoop.2022.5openalex-snapshot
How to Take the Inverse of a Type
inferredcites →https://doi.org/10.4230/lipics.ecoop.2023.3openalex-snapshot
Multi-Graded Featherweight Java
inferredcites →https://doi.org/10.5281/zenodo.10797790openalex-snapshot
Functional Ownership through Fractional Uniqueness (Artefact)
inferredcites →https://doi.org/10.5281/zenodo.10799026openalex-snapshot
Functional Ownership through Fractional Uniqueness (Appendix)

What points at this work

Incoming claims: where this work appears in other papers’ reference lists and arguments.

inferred← backgroundhttps://doi.org/10.5281/zenodo.10797791zenodo-depositor-declared
inferred← backgroundhttps://doi.org/10.5281/zenodo.10799026zenodo-depositor-declared
Functional Ownership through Fractional Uniqueness (Appendix)
inferred← citeshttps://doi.org/10.1007/978-3-032-08187-2_7openalex-snapshot
On Graded Coeffect Types for Information-Flow Control
inferred← citeshttps://doi.org/10.1016/j.ic.2024.105234openalex-snapshot
Non-linear communication via graded modal session types
inferred← citeshttps://doi.org/10.1145/3689763openalex-snapshot
Law and Order for Typestate with Borrowing
inferred← citeshttps://doi.org/10.1145/3763064openalex-snapshot
Reasoning about External Calls
inferred← citeshttps://doi.org/10.1145/3763116openalex-snapshot
Modeling Reachability Types with Logical Relations: Semantic Type Soundness, Termination, Effect Safety, and Equational Theory
inferred← citeshttps://doi.org/10.1145/3776669openalex-snapshot
Security Reasoning via Substructural Dependency Tracking
inferred← citeshttps://doi.org/10.1145/3839474openalex-snapshot
Classifying Capabilities
Editorial review for independent work. ICSAC — the Institute for Complexity Science and Advanced Computing — runs a structured editorial panel for researchers publishing outside journals, and publishes on CiteStamp rails. Submission is free and goes through ORCID: icsacinstitute.org/submit.