|
|
|
|
<!DOCTYPE html>
|
|
|
|
|
<html dir="ltr">
|
|
|
|
|
|
|
|
|
|
<head>
|
|
|
|
|
<meta charset="utf-8">
|
|
|
|
|
<meta name="viewport" content="width=device-width, initial-scale=1">
|
|
|
|
|
<title>home lib</title>
|
|
|
|
|
<link rel="shortcut icon" href="images/favicon.ico" type="image/x-icon">
|
|
|
|
|
<link rel="apple-touch-icon-precomposed" href="images/apple-touch-icon.png">
|
|
|
|
|
|
|
|
|
|
<link rel="stylesheet" href="https://cdnjs.cloudflare.com/ajax/libs/uikit/2.26.4/css/uikit.gradient.css">
|
|
|
|
|
|
|
|
|
|
<!-- <link rel="stylesheet" href="style.css"> -->
|
|
|
|
|
<link rel="stylesheet" href="https://cdn.jsdelivr.net/gh/diversen/pandoc-uikit@master/style.css">
|
|
|
|
|
<link href="https://vjs.zencdn.net/5.4.4/video-js.css" rel="stylesheet" />
|
|
|
|
|
<script src="https://code.jquery.com/jquery-2.2.1.min.js"></script>
|
|
|
|
|
<!-- <script src="uikit.js"></script> -->
|
|
|
|
|
<script src="https://cdn.jsdelivr.net/gh/diversen/pandoc-uikit@master/uikit.js"></script>
|
|
|
|
|
<!-- <script src="scripts.js"></script> -->
|
|
|
|
|
<script src="https://cdn.jsdelivr.net/gh/diversen/pandoc-uikit@master/scripts.js"></script>
|
|
|
|
|
<!-- <script src="jquery.sticky-kit.js "></script> -->
|
|
|
|
|
<script src="https://cdn.jsdelivr.net/gh/diversen/pandoc-uikit@master/jquery.sticky-kit.js"></script>
|
|
|
|
|
|
|
|
|
|
<meta name="generator" content="pandoc-uikit" />
|
|
|
|
|
<title>home lib</title>
|
|
|
|
|
<style type="text/css">code{white-space: pre;}</style>
|
|
|
|
|
|
|
|
|
|
</head>
|
|
|
|
|
|
|
|
|
|
<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">
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
<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>
|
|
|
|
|
<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">there are many of
|
|
|
|
|
them. <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>
|
|
|
|
|
<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>
|
|
|
|
|
<li><span class="citation"
|
|
|
|
|
data-cites="github-software-design-in-haskell">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">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>
|
|
|
|
|
<li><span class="citation" data-cites="github-plt">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="Hutton2016Sep">Hutton, Graham.
|
|
|
|
|
<em><span class="nocase">Programming in Haskell</span></em>,
|
|
|
|
|
2016.</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="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="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="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>
|
|
|
|
|
</div>
|
|
|
|
|
</div>
|
|
|
|
|
<script src="https://vjs.zencdn.net/5.4.4/video.js"></script>
|
|
|
|
|
</div>
|
|
|
|
|
</body>
|
|
|
|
|
</html>
|
