Lab Lunch: 9 March 2021 - Philip Wadler

Title: The Stupid Computer, a Pretty Printer, and Mandelbrot Maps

Abstract:

I will demonstrate three results of undergraduate projects this year. The first two projects are aids to teaching Inf1A. The demonstration of Mandelbrot Maps includes an illustration of Lei Tan's Theorem, a dream of mine for many years.