[Ezku]

That's Haskell. Slides 4 & 5 also hint at that, although it's easy to miss:

> Why Haskell is Interesting

[empath75]

Even if you never intend to use Haskell it’s well worth getting a basic understanding of it if you have an interest in CS theory just because it’s used so frequently in interesting talks and papers.