|
|
|
|
<body>
|
|
|
|
|
<div class="uk-container uk-container-center uk-margin-top uk-margin-large-bottom">
|
|
|
|
|
|
|
|
|
|
<div class="uk-grid" data-uk-grid-margin>
|
|
|
|
|
<div class="uk-width-1-1">
|
|
|
|
|
<h1 class="uk-heading-large">home lib</h1>
|
|
|
|
|
</div>
|
|
|
|
|
</div>
|
|
|
|
|
|
|
|
|
|
<div class="uk-grid" data-uk-grid-margin >
|
|
|
|
|
<div class="uk-width-medium-1-4">
|
|
|
|
|
<div class="uk-overflow-container" data-uk-sticky="{top:25,media: 768}">
|
|
|
|
|
<div class="uk-panel uk-panel-box menu-begin" >
|
|
|
|
|
</div>
|
|
|
|
|
</div>
|
|
|
|
|
</div>
|
|
|
|
|
|
|
|
|
|
<div class="uk-width-medium-3-4">
|
|
|
|
|
|
|
|
|
|
<h2 id="функциональщина">Функциональщина</h2>
|
|
|
|
|
<ul>
|
|
|
|
|
<li><span class="citation" data-cites="func-design-architecture">Salim,
|
|
|
|
|
P. <span>“<span class="nocase">Functional Design and
|
|
|
|
|
Architecture</span>,”</span> 2023. [Online; accessed 21. Apr. 2023]. <a
|
|
|
|
|
href="https://www.manning.com/books/functional-design-and-architecture"
|
|
|
|
|
role="doc-biblioref">https://www.manning.com/books/functional-design-and-architecture</a>.</span></li>
|
|
|
|
|
<li><span class="citation" data-cites="fp-practice">Multiple authors.
|
|
|
|
|
<span>“<span class="nocase">Практика функционального
|
|
|
|
|
программирования</span>,”</span> 2022. [Online; accessed 1. May 2023].
|
|
|
|
|
<a href="https://fprog.ru"
|
|
|
|
|
role="doc-biblioref">https://fprog.ru</a>.</span></li>
|
|
|
|
|
</ul>
|
|
|
|
|
<h2 id="омп">ОМП</h2>
|
|
|
|
|
<ul>
|
|
|
|
|
<li><span class="citation"
|
|
|
|
|
data-cites="haskell-road-to-logic"><span>“<span class="nocase">The
|
|
|
|
|
Haskell Road to Logic, Maths and Programming</span>,”</span> 2020.
|
|
|
|
|
[Online; accessed 22. Apr. 2023]. <a
|
|
|
|
|
href="https://staff.fnwi.uva.nl/d.j.n.vaneijck2/HR"
|
|
|
|
|
role="doc-biblioref">https://staff.fnwi.uva.nl/d.j.n.vaneijck2/HR</a>.</span></li>
|
|
|
|
|
<li><span class="citation" data-cites="computation-intro">Sannella,
|
|
|
|
|
Donald, Michael Fourman, Haoran Peng, and Philip Wadler. <em><span
|
|
|
|
|
class="nocase">Introduction to Computation: Haskell, Logic and
|
|
|
|
|
Automata</span></em><a
|
|
|
|
|
href="https://link.springer.com/book/10.1007/978-3-030-76908-6"
|
|
|
|
|
role="doc-biblioref">https://link.springer.com/book/10.1007/978-3-030-76908-6</a>.</span></li>
|
|
|
|
|
<li>см. статью: Соответствие Карри–Ховарда: от матлогики к
|
|
|
|
|
программированию и обратно тут: <span class="citation"
|
|
|
|
|
data-cites="dubna-2017"><span>“<span class="nocase">XVII Летняя Школа
|
|
|
|
|
"Современная математика"</span>,”</span> 2017. <a
|
|
|
|
|
href="https://www.mccme.ru/dubna/2017"
|
|
|
|
|
role="doc-biblioref">https://www.mccme.ru/dubna/2017</a>.</span></li>
|
|
|
|
|
<li><span class="citation"
|
|
|
|
|
data-cites="softwarefoundations"><span>“<span>Software
|
|
|
|
|
Foundations</span>,”</span> 2021. <a
|
|
|
|
|
href="https://softwarefoundations.cis.upenn.edu"
|
|
|
|
|
role="doc-biblioref">https://softwarefoundations.cis.upenn.edu</a>.</span></li>
|
|
|
|
|
<li><span class="citation" data-cites="algebraofprogramming">Bird,
|
|
|
|
|
Richard, and Oege de Moor. <em>Algebra of programming</em>,
|
|
|
|
|
1997.</span></li>
|
|
|
|
|
</ul>
|
|
|
|
|
<h2 id="теория-языков-программирования">Теория языков
|
|
|
|
|
программирования</h2>
|
|
|
|
|
<ul>
|
|
|
|
|
<li><span class="citation" data-cites="github-plt">github/steshaw.
|
|
|
|
|
<span>“<span class="nocase">plt</span>,”</span> 2023. [Online; accessed
|
|
|
|
|
21. Apr. 2023]. <a href="https://github.com/steshaw/plt"
|
|
|
|
|
role="doc-biblioref">https://github.com/steshaw/plt</a>.</span></li>
|
|
|
|
|
<li><span class="citation" data-cites="plf-agda"><span>“<span
|
|
|
|
|
class="nocase">Programming Language Foundations in Agda <span></span>
|
|
|
|
|
Table of Contents</span>,”</span> 2023. [Online; accessed 21. Apr. 2023;
|
|
|
|
|
nice reference]. <a href="https://plfa.github.io"
|
|
|
|
|
role="doc-biblioref">https://plfa.github.io</a>.</span></li>
|
|
|
|
|
<li><span class="citation" data-cites="Misra2023Jan">Misra, Jayadev.
|
|
|
|
|
<em><span class="nocase">Effective Theories in Programming
|
|
|
|
|
Practice</span></em>, 2023. Vol. 47.</span></li>
|
|
|
|
|
</ul>
|
|
|
|
|
<h2 id="логика">Логика</h2>
|
|
|
|
|
<ul>
|
|
|
|
|
<li><span class="citation" data-cites="huth2004logic">Huth, Michael, and
|
|
|
|
|
Mark Ryan. <em>Logic in computer science : Modelling and reasoning about
|
|
|
|
|
systems</em>, 2004. <a
|
|
|
|
|
href="http://www.amazon.de/s/url=search-alias%3Daps&field-keywords=052154310X"
|
|
|
|
|
role="doc-biblioref">http://www.amazon.de/s/url=search-alias%3Daps&field-keywords=052154310X</a>.</span></li>
|
|
|
|
|
</ul>
|
|
|
|
|
<h2 id="теория-типов">Теория типов</h2>
|
|
|
|
|
<ul>
|
|
|
|
|
<li><span class="citation" data-cites="github-learn-tt">github/jozefg.
|
|
|
|
|
<span>“<span class="nocase">learn-tt</span>,”</span> 2023. [Online;
|
|
|
|
|
accessed 4. May 2023]. <a href="https://github.com/jozefg/learn-tt"
|
|
|
|
|
role="doc-biblioref">https://github.com/jozefg/learn-tt</a>.</span></li>
|
|
|
|
|
<li><span class="citation" data-cites="tapl">Pierce, Benjamin C.
|
|
|
|
|
<em>Types and programming languages</em>, 2002.</span></li>
|
|
|
|
|
<li><span class="citation" data-cites="hott">Univalent Foundations
|
|
|
|
|
Program, The. <em>Homotopy type theory: Univalent foundations of
|
|
|
|
|
mathematics</em>, 2013. <a href="https://homotopytypetheory.org/book"
|
|
|
|
|
role="doc-biblioref">https://homotopytypetheory.org/book</a>.</span></li>
|
|
|
|
|
</ul>
|
|
|
|
|
<h2 id="базы-данных">Базы данных</h2>
|
|
|
|
|
<ul>
|
|
|
|
|
<li><span class="citation" data-cites="db-core">Б. А. Новиков, Н. Г.
|
|
|
|
|
Графеева;, Е. А. Горшкова. <span>“Основы технологий баз данных,”</span>
|
|
|
|
|
2020. [Online; accessed 1. May 2023]. <a
|
|
|
|
|
href="https://www.postgrespro.ru/education/books/dbtech"
|
|
|
|
|
role="doc-biblioref">https://www.postgrespro.ru/education/books/dbtech</a>.</span></li>
|
|
|
|
|
</ul>
|
|
|
|
|
<h2 id="языки">Языки</h2>
|
|
|
|
|
<h3 id="r">R</h3>
|
|
|
|
|
<ul>
|
|
|
|
|
<li><span class="citation" data-cites="advanced-R">Wickham, Hadley.
|
|
|
|
|
<span>“<span>Advanced R</span>,”</span> 2023. [Online; accessed 25. Apr.
|
|
|
|
|
2023]. <a href="https://adv-r.hadley.nz"
|
|
|
|
|
role="doc-biblioref">https://adv-r.hadley.nz</a>.</span></li>
|
|
|
|
|
</ul>
|
|
|
|
|
<h3 id="haskell">Haskell</h3>
|
|
|
|
|
<ul>
|
|
|
|
|
<li><span class="citation" data-cites="Hutton2016Sep">Hutton, Graham.
|
|
|
|
|
<em><span class="nocase">Programming in Haskell</span></em>,
|
|
|
|
|
2016.</span></li>
|
|
|
|
|
<li><span class="citation" data-cites="haskell-in-depth">Bragilevsky,
|
|
|
|
|
Vitaly. <em><span class="nocase">Haskell in Depth</span></em>, 2021. <a
|
|
|
|
|
href="https://www.oreilly.com/library/view/haskell-in-depth/9781617295409"
|
|
|
|
|
role="doc-biblioref">https://www.oreilly.com/library/view/haskell-in-depth/9781617295409</a>.</span></li>
|
|
|
|
|
<li><span class="citation"
|
|
|
|
|
data-cites="github-software-design-in-haskell">github/graninas.
|
|
|
|
|
<span>“<span class="nocase">software-design-in-haskell</span>,”</span>
|
|
|
|
|
2023. [Online; accessed 21. Apr. 2023]. <a
|
|
|
|
|
href="https://github.com/graninas/software-design-in-haskell"
|
|
|
|
|
role="doc-biblioref">https://github.com/graninas/software-design-in-haskell</a>.</span></li>
|
|
|
|
|
<li><span class="citation"
|
|
|
|
|
data-cites="github-awesome-haskell">github/albohlabs. <span>“<span
|
|
|
|
|
class="nocase">awesome-haskell</span>,”</span> 2023. [Online; accessed
|
|
|
|
|
21. Apr. 2023]. <a href="https://github.com/albohlabs/awesome-haskell"
|
|
|
|
|
role="doc-biblioref">https://github.com/albohlabs/awesome-haskell</a>.</span></li>
|
|
|
|
|
</ul>
|
|
|
|
|
</div>
|
|
|
|
|
</div>
|
|
|
|
|
</div>
|
|
|
|
|
</body>
|
