README.md 391 Bytes
Newer Older
Nicolas Lenz's avatar
Nicolas Lenz committed
1
2
# Theory of Functional Programming

Nicolas Lenz's avatar
Nicolas Lenz committed
3
4
5
6
7
8
In the future you'll find slides for a seminar/talk about the basics of the theory behind functional programming here.

```plantuml
@startmindmap
skinparam monochrome true
* Theory of Functional Programming
Nicolas Lenz's avatar
Nicolas Lenz committed
9
** Motivation: Abstract Thinking
Nicolas Lenz's avatar
Nicolas Lenz committed
10
** Lambda Calculus
Nicolas Lenz's avatar
Nicolas Lenz committed
11
** Type Theories
Nicolas Lenz's avatar
Nicolas Lenz committed
12
** Fixpoints
Nicolas Lenz's avatar
Nicolas Lenz committed
13
** Folding
Nicolas Lenz's avatar
Nicolas Lenz committed
14
15
16
17
** Lambda-Encodings
** Category Theory
@endmindmap
```