You can not select more than 25 topics
Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
|
|
|
|
---
|
|
|
|
|
title: "home lib"
|
|
|
|
|
output: markdown
|
|
|
|
|
bibliography: [db.bib,
|
|
|
|
|
design.bib,
|
|
|
|
|
fp.bib,
|
|
|
|
|
sink.bib,
|
|
|
|
|
logic.bib,
|
|
|
|
|
langs/haskell.bib,
|
|
|
|
|
langs/R.bib,
|
|
|
|
|
sf.bib,
|
|
|
|
|
tt.bib
|
|
|
|
|
]
|
|
|
|
|
---
|
|
|
|
|
|
|
|
|
|
## Функциональщина
|
|
|
|
|
- [@func-design-architecture]
|
|
|
|
|
- [@fp-practice]
|
|
|
|
|
|
|
|
|
|
## ОМП
|
|
|
|
|
- [@haskell-road-to-logic]
|
|
|
|
|
- [@computation-intro]
|
|
|
|
|
- см. статью: Соответствие Карри–Ховарда: от матлогики к программированию и обратно тут: [@dubna-2017]
|
|
|
|
|
- [@softwarefoundations]
|
|
|
|
|
- [@algebraofprogramming]
|
|
|
|
|
|
|
|
|
|
## Теория языков программирования
|
|
|
|
|
- [@github-plt]
|
|
|
|
|
- [@plf-agda]
|
|
|
|
|
- [@Misra2023Jan]
|
|
|
|
|
|
|
|
|
|
## Логика
|
|
|
|
|
|
|
|
|
|
- [@huth2004logic]
|
|
|
|
|
|
|
|
|
|
## Теория типов
|
|
|
|
|
|
|
|
|
|
- [@github-learn-tt]
|
|
|
|
|
- [@tapl]
|
|
|
|
|
- [@hott]
|
|
|
|
|
|
|
|
|
|
## Базы данных
|
|
|
|
|
- [@db-core]
|
|
|
|
|
|
|
|
|
|
## Языки
|
|
|
|
|
|
|
|
|
|
### R
|
|
|
|
|
- [@advanced-R]
|
|
|
|
|
|
|
|
|
|
### Haskell
|
|
|
|
|
|
|
|
|
|
- [@Hutton2016Sep]
|
|
|
|
|
- [@haskell-in-depth]
|
|
|
|
|
- [@github-software-design-in-haskell]
|
|
|
|
|
- [@github-awesome-haskell]
|
