• NbE for sums and S4

  • Неформальное введение в теорию типов

  • Python typing

  • Как подключить C библиотеку к питону, заюзать NumPy и не выстрелить в ногу"

  • Functional Programming

  • «Ранняя история и математические основы программирования: Чёрч, Карри, Тьюринг»