Invited speaker

In this TFP edition, an invited talk will be given by Neil Mitchell, who finished his PhD thesis on ‘Transformation and Analysis of Functional Programs’ at the University of York, England, and is currently working for the Standard Chartered Bank. The title of the talk is ‘Finding functions from types’, and will be about the Hoogle tool.