Linear Types – Constantine Ter-Matevosian
The hidden superpowers of linear types: how linear types control the future and prevent bugs
PLUG talk - linear types and runtime performance
Linear Types - Ivan Cukic - Meeting C++ Secret Lightning Talks
From Linear Types to Rust
Linear types for circuit design in Haskell/Clash
A tour of linear types and linear base by Divesh Otwani
ATS: Why Linear Types are the Future of Systems Programming
Simon Peyton Jones - Linear Haskell: practical linearity in a higher-order polymorphic language
NumLin: Linear Types for Linear Algebra
[ML24] Is there a use for linear types?
Facundo Domínguez - Typecheck Your Memory Management with Linear Types (HaskellX 2020)
[IWACO24] Modular Borrowing Without Ownership or Linear Types
Linear types can save the API - Ivan Čukić
@rae: Avoid losing money via -XLinearTypes
Krzysztof Gogolewski - Linear Types 1/4
Advanced Memory Management in Vale (with Evan Ovadia)
Krzysztof Gogolewski - Linear Types 4/4
Haskell Programming: Advent 2020 Day 13, Linear Types
[ICFP'22] Linearly Qualified Types: Generic Inference for Capabilities and Uniqueness
![[ML24] Is there a use for linear types?](https://img.youtube.com/vi/6ahPBKDpbK8/0.jpg)
![[IWACO24] Modular Borrowing Without Ownership or Linear Types](https://img.youtube.com/vi/vmJ1YE8lZII/0.jpg)
![[ICFP'22] Linearly Qualified Types: Generic Inference for Capabilities and Uniqueness](https://img.youtube.com/vi/c8VZp-3eQU0/0.jpg)