This topic doesn't have a dedicated page yet. For now, here are the links I've gathered with this tag.
15-150: Principles of Functional Programming
This looks like an interesting course to have a look at. I quickly watched the first lecture. Might be worth looking at some of the others
Speaking of ML and self-directed learning this could be an interesting course to dive into if that did tickle my fancy. Based in PyTorch.