Prof. Dr. Farhad Mehta will be giving a talk at the Tokyo Haskell/FP meet up on Tuesday 19.05.2026 about some of the work that he has been doing with his team and students in the area of bringing the rigour and elegance of functional programming (FP) and its related areas such as logic and type theory nearer to a larger group of people.