2026-01-02
(2021) Deriving Distributive Laws for Graded Linear Types
Jack Hughes
Michael Vollmer
Dominic Orchard
2021-01-01
#functional-programming
#linear-types
Backlinks
Granule
