Tag - #functional-programming
Granule
2026-01-02
#functional-programming
#linear-types
#programming
(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
#algebraic-effects
#functional-programming
#linear-types
The Component Pattern
2019-05-14
#functional-programming
#software-architecture
Mutability Is a Great Secret To Have
2019-03-06
#functional-programming