About Us
Research
People
Publications
Articles
Books
Books Chapters
Editorials
In Proceedings
Projects
Activities
Graduations
Seminars
Distinguished Lectures
Society
Login
About Us
Research
People
Publications
Articles
Books
Books Chapters
Editorials
In Proceedings
Projects
Activities
Graduations
Seminars
Distinguished Lectures
Society
graduations
Detail
Publication date: 5 de December, 2022
PhD - CLASS: A Logical Foundation for Typeful Programming with Shared State
Authors
Post-Graduation Author:
Pedro Rocha
Post-Graduation Supervisor:
Luis Caires
Post-Graduation Jury:
Luis Caires
Share
Startdate
01/09/2016
Enddate
05/12/2022
State
Concluded
