-
Notifications
You must be signed in to change notification settings - Fork 1
/
fp.tex
75 lines (47 loc) · 1.99 KB
/
fp.tex
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
% Author: Philipp Moers <soziflip funny character gmail dot com>
\documentclass[12pt, oneside, a4paper, numbers=enddot, abstracton]{scrreprt}
\input{/home/flip/daten/latex/sfliptex05/sfliptex05.tex}
\begin{document}
\selectlanguage{english}
\begin{titlepage}
\begin{center}
\Large{Universität Tübingen}\\[1cm]
\large{\scshape{SS 2014}}\\
\large{\scshape{Torsten Grust, Alexander Ulrich}}\\[3cm]
\Huge{\textbf{Functional Programming}}\\[6cm]
\large{Notes from}\\[1cm]
\large{Philipp Moers \\ <soziflip funnycharacter gmail dot com>}\\[3cm]
\vfill
\footnotesize{Last updated: \today, \currenttime}
\end{center}
\end{titlepage}
\begin{abstract}
This is just the product of me taking notes on the lecture. Nothing official. If you find mistakes or have got any questions, please feel free to contact me. Cheers!
\end{abstract}
\tableofcontents
\newpage
\vspace*{\fill}
»\textit{A programming language is a medium for expressing ideas (not to get a computer to perform operations) and only incidentally for machines to execute.}«\\
\begin{flushright}
Harold Abelson and Gerald Jay Sussman
\end{flushright}
\vspace*{\fill}
\newpage
\section{Links}
Site: \url{http://db.inf.uni-tuebingen.de/teaching/FunctionalProgrammingSS2014.html}\\
Ilias: \url{http://goo.gl/rlqbkK}
\section{Literature}
\begin{itemize}
\item Lipovača: \\ Learn You a Haskell for Great Good \\ No Starch Press 2011, \\ \url{http://learnyouahaskell.com}
\item O'Sullivan, Steward, Goerzen: \\ Real World Haskell \\ O'Reilly 2010 \\ \url{http://book.realworldhaskell.org}
\item Haskell 2010 Report, \\ \url{http://www.haskell.org/onlinereport/haskell2010}
\end{itemize}
% chapters:
\input{chapter01-introduction.tex}
\input{chapter02-haskell-ramp-up.tex}
\input{chapter03-values-and-types.tex}
\input{chapter04-type-classes.tex}
\input{chapter05-domain-specific-languages.tex}
\input{chapter06-monads.tex}
\input{chapter07-parallelism.tex}
\end{document}