This is the repository for the course on Functional Programming in Scala taught at the University Rey Juan Carlos. It basically includes several notebooks on the following topics:

PF-1 Intro

PF-1.1 Object-oriented Scala

PF-2 Functions and data types

PF-2.1 Functions and algebraic data types

PF-2.2 Recursive functions and ADTs

PF-2.3 The curry-howard correspondence

PF-3 Higher-order functions

PF-3.1 The Hall-of-Fame of HOFs

PF-3.2 HOFs as a query language

This work is licensed under a Creative Commons Attribution-NonCommercial-ShareAlike 4.0 International License.