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