- Structure and Interpretation of Computer Programs
- Write Yourself a Scheme in 48 Hours / Write You A Scheme, Version 2
- http://komar.bitcheese.net/files/учебник-по-теории-категорий.pdf
- Algebra: Chapter 0
- Category Theory for Programmers
- Топосы - категорный анализ логики
- DEPENDENT TYPES IN HASKELL: THEORY AND PRACTICE
- Category Theory for Computing Science
- Category Theory
- Linear and Dependent Types - Neel Krishnaswami
- Bartosz Milewski - Arrows are strong profunctors
- Catsters guide
- Теория Категорий
- HoTT-Lectures
- Теория групп
- Linear Haskell
- The Linearity Monad
- Integrating Dependent and Linear Types
- Regular and First-order List Functions
- Typed Tagless Final Interpreters
- Implementing lazy functional languages on stock hardware: STG
- The Syntax and Semantics of antitative Type Theory
- Monoids: theme and Variations
- Cubical Type Theory
- A simple type-theoretic language: Mini-TT
- Модель типизации Хиндли — Милнера и пример её реализации на языке Haskell
- Towards Open Type Functions for Haskell
- Simple unification-based type inference for GADTs
- Modular type inference with local assumptions
- The Pleasure and Pain of Dependently Typed Haskell Programming
- A Specification for Dependently-Typed Haskell
- An extended type system with lambda-typed lambda-expressions (extended version)
- Dynamic Witnesses for Static Type Errors
- Ready, Set, Verify! Applying hs-to-coq to real-world Haskell code
- Generic Zero-Cost Reuse for Dependent Types
- A demo implementation of a simple dependently-typed language
- Programming Language Theory
- Compact Regions: Success, Failure, and Questions
- Implementing a safer sort with linear types
- From Adjunctions to Monads
- Free Monoidal Functors
- Free Monoidal Profunctors
- Understanding Yoneda
- Строгость и нищета списков
- Papers every haskeller should read
- Homotopy Type Theory and Higher Inductive Types
- Categorical models of dependent types
- Haskell and Deliberate Practice
- How well does it work? Profiling in Haskell
- https://www.codewars.com/kata/regular-expression-parser
- https://www.codewars.com/kata/sure-but-can-you-ski-i
- https://www.codewars.com/kata/simple-interactive-interpreter
- https://www.codewars.com/kata/scott-encoding
- https://www.codewars.com/kata/a-simple-postfix-language
- https://www.codewars.com/kata/expression-transpiler
- https://www.codewars.com/kata/one-function-many-arguments-haskell-style
- https://www.codewars.com/kata/i-love-lisp
- https://www.codewars.com/kata/befunge-interpreter
- https://www.codewars.com/kata/tiny-three-pass-compiler
- https://www.codewars.com/kata/coroutines
- https://www.codewars.com/kata/peano-and-church
- https://www.codewars.com/kata/operator-parser
- https://www.codewars.com/kata/algebraic-isomorphism
- https://www.codewars.com/kata/image-processing
- https://www.codewars.com/kata/ascii85-encoding-and-decoding
- https://www.codewars.com/kata/the-most-imperative-functional-language
- https://www.codewars.com/kata/singletons
- https://www.codewars.com/kata/folding-through-a-fixed-point