Jonathan Gallagher

Date: June 26, 2020
Time: 12:00 am - 12:00 am
Location: Zoom (email benjamin dot macadam for details).

Title: What is the category associated to a programming language with recursion and partiality, and can we make one from a differential language?

Abstract: This talk will introduce a famous concept in the functional programming community known as “immoral reasoning is acceptable.”  This is the first talk in a 2 talk series to develop these ideas for a functional differential programming language.   We will develop the category of partial equivalence relations for a functional programming language to give a way to move between denotations of total and partial functions.