linear types

Sub-cards (0)Archived
Comments (4)
Reply

Austral claims to use linear types for memory management.

Reply

Mercury uses linear types for passing the IO state token.

Reply

Granule is a language based on graded modal types.

Reply

QTT in Idris 2: https://arxiv.org/pdf/2104.00480.pdf

No support for multiplicity polymorphism though.