Here are some useful resources about Scala

Type theory related:

Frontend: