Oliver Strickson - A functional tour of automatic differentiation - Lambda Days 2020