Graduation details

[PhD] - CLASS: A Logical Foundation for Typeful Programming with Shared State

Sep 2016 - Dec 2022

Abstract:

Start Date: 1 Sep 2016

End Date: 5 Dec 2022

Post-Graduation by: Pedro Rocha

Post-Graduation Supervisor(s): Luis Caires

Post-Graduation Jury(s): Luis Caires