Haskell 2021 - Why Functional Programming with Linear Types Matters

Haskell 2021 - Design Patterns for Parser Combinators (Functional Pearl)

Linear Types – Constantine Ter-Matevosian

David Christiansen - Coding for Types: The Universe Patern in Idris - Curry On

Edward Kmett - Why Haskell?

ATS: Why Linear Types are the Future of Systems Programming

Haskell 101

Dependent Types in the Idris Programming Language 1 - Edwin Brady - OPLSS 2017

In Haskell, less is more

Linear Logic, Session Types and Deadlock-Freedom

HaskellerZ - Feb 2018 - Getting things done in Haskell and Zurich Friends of Haskell

[ML24] Is there a use for linear types?

Задача из вступительных Стэнфорда

MuniHac 2018: Keynote: Beautiful Template Haskell

Simon Peyton Jones - Linear Haskell: practical linearity in a higher-order polymorphic language

Basic optics: lenses, prisms, and traversals in Haskell

My Haskell Setup

Typst: Современная замена Word и LaTeX, которую ждали 40 лет

Making sense of the Haskell type system by Ryan Lemmer at FnConf17

Brian Beckman: Don't fear the Monad

LambdaConf 2015 - A Practical Introduction to Haskell GADTs Richard Eisenberg