¶Types » Linear types

[Tang2023b] Soundly Handling Linearity

Towards a linear functional translation for borrowing

..

This page is also available via Gemini at gemini://dcreager.net/types/linear-types.gmi