ABOUT US
RESEARCH
PEOPLE
PUBLICATIONS
ARTICLES
BOOKS
BOOK CHAPTERS
DISSERTATIONS
EDITORIALS
IN PROCEEDINGS
ACTIVITIES
PROJECTS
GRADUATION ACTIVITIES
PROTOTYPES
SEMINARS
DISTINGUISHED LECTURES
EVENT ORGANIZATIONS
EDITORIAL COMMITTEES
SOCIETY
LOGIN
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
BACK