Tag - #linear-types

Granule 2026-01-02
(2025) On Graded Coeffect Types for Information-Flow Control 2026-01-02
- #functional-programming
- #linear-types
(2024) Functional Ownership through Fractional Uniqueness 2026-01-02
- #functional-programming
- #linear-types
(2022) Linearity and Uniqueness; An Entente Cordiale 2026-01-02
- #functional-programming
- #linear-types
(2021) Resourceful Program Synthesis from Graded Linear Types 2026-01-02
- #functional-programming
- #linear-types
(2021) Linear Exponentials as Graded Modal Types 2026-01-02
- #functional-programming
- #linear-types
(2021) Graded Modal Dependent Type Theory 2026-01-02
- #functional-programming
- #linear-types
(2021) Deriving Distributive Laws for Graded Linear Types 2026-01-02
- #functional-programming
- #linear-types
(2019) Quantitative Program Reasoning with Graded Modal Types 2026-01-02
- #functional-programming
- #linear-types
(2016) Combining Effects and Coeffects via Grading 2026-01-02