The University of Windsor used it in their first year intro to CS course up until 2015. I wonder how many other places still use it.
- Functional Programming - Digital Systems - Principals of Programming Languages.
Compilers was primarily in OCaml, and there were several other courses in Scala.