# home lib

## Функциональщина

- Salim, P. “Functional Design and Architecture,” 2023. [Online; accessed 21. Apr. 2023]. https://www.manning.com/books/functional-design-and-architecture.
- Multiple authors. “Практика функционального программирования,” 2022. [Online; accessed 1. May 2023]. https://fprog.ru.

## ОМП

- “The Haskell Road to Logic, Maths and Programming,” 2020. [Online; accessed 22. Apr. 2023]. https://staff.fnwi.uva.nl/d.j.n.vaneijck2/HR.
- Sannella, Donald, Michael Fourman, Haoran Peng, and Philip Wadler. Introduction to Computation: Haskell, Logic and Automata https://link.springer.com/book/10.1007/978-3-030-76908-6.

## Теория языков программирования

- github/steshaw. “plt,” 2023. [Online; accessed 21. Apr. 2023]. https://github.com/steshaw/plt.
- “Programming Language Foundations in Agda Table of Contents,” 2023. [Online; accessed 21. Apr. 2023; nice reference]. https://plfa.github.io.
- Misra, Jayadev. Effective Theories in Programming Practice, 2023. Vol. 47.

## Логика

- Huth, Michael, and Mark Ryan. Logic in computer science : Modelling and reasoning about systems, 2004. http://www.amazon.de/s/url=search-alias%3Daps&field-keywords=052154310X.

## Базы данных

- Б. А. Новиков, Н. Г. Графеева;, Е. А. Горшкова. “Основы технологий баз данных,” 2020. [Online; accessed 1. May 2023]. https://www.postgrespro.ru/education/books/dbtech.

## Языки

### R

- Wickham, Hadley. “Advanced R,” 2023. [Online; accessed 25. Apr. 2023]. https://adv-r.hadley.nz.

### Haskell

- Hutton, Graham. Programming in Haskell, 2016.
- Bragilevsky, Vitaly. Haskell in Depth, 2021. https://www.oreilly.com/library/view/haskell-in-depth/9781617295409.
- github/graninas. “software-design-in-haskell,” 2023. [Online; accessed 21. Apr. 2023]. https://github.com/graninas/software-design-in-haskell.
- github/albohlabs. “awesome-haskell,” 2023. [Online; accessed 21. Apr. 2023]. https://github.com/albohlabs/awesome-haskell.