Functional Ownership through Fractional Uniqueness (2024)
Attributed to:
Verifying Resource-like Data Use in Programs via Types
funded by
EPSRC
Abstract
No abstract provided
Bibliographic Information
Type: Conference/Paper/Proceeding/Abstract