Linear Types – Constantine Ter-Matevosian
Linear Types - Ivan Cukic - Meeting C++ Secret Lightning Talks
The hidden superpowers of linear types: how linear types control the future and prevent bugs
PLUG talk - linear types and runtime performance
ATS: Why Linear Types are the Future of Systems Programming
From Linear Types to Rust
Linear types for circuit design in Haskell/Clash
A tour of linear types and linear base by Divesh Otwani
Facundo Domínguez - Typecheck Your Memory Management with Linear Types (HaskellX 2020)
[IWACO24] Modular Borrowing Without Ownership or Linear Types
[ML24] Is there a use for linear types?
Simon Peyton Jones - Linear Haskell: practical linearity in a higher-order polymorphic language
NumLin: Linear Types for Linear Algebra
How to Distinguish Between Linear & Nonlinear : Math Teacher Tips
@rae: Avoid losing money via -XLinearTypes
Krzysztof Gogolewski - Linear Types 1/4
Arnaud Spiwack - Linear Types for Distributed Programming (HaskellX 2017)
Linear and Dependent Types 1 - Neel Krishnaswami - OPLSS 2017
Krzysztof Gogolewski - Linear Types 4/4
Haskell 2021 - Why Functional Programming with Linear Types Matters
![[IWACO24] Modular Borrowing Without Ownership or Linear Types](https://img.youtube.com/vi/vmJ1YE8lZII/0.jpg)
![[ML24] Is there a use for linear types?](https://img.youtube.com/vi/6ahPBKDpbK8/0.jpg)
