Deriving Distributive Laws for Graded Linear Types (2021)
Attributed to:
Verifying Resource-like Data Use in Programs via Types
funded by
EPSRC
Abstract
No abstract provided
Bibliographic Information
Digital Object Identifier: http://dx.doi.org/10.4204/eptcs.353.6
Publication URI: https://api.elsevier.com/content/abstract/scopus_id/85122450052
Type: Journal Article/Review
Parent Publication: Electronic Proceedings in Theoretical Computer Science