ACM SIGPLAN International Conference on Functional Programming ICFP 2020, August 23-28, 2020 Jersey City, New Jersey, US https://icfp20.sigplan.org/