Trends in Functional Programming - Wang, Meng (Springer International Publishing, 2020)