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
NOVA LINCS
Luísa Lourenço
People
Publications
Projects
Graduations
Prototypes
Seminars
A Type System for Value-Dependent Information Flow Analysis
Concluded
01/10/2010 - 03/03/2016 / PhD
Post-Graduation by:
Luísa Lourenço
Type Inference for Conversation Types
Concluded
01/01/1970 - 01/01/1970 / MSc
Post-Graduation by:
Luísa Lourenço
