Programming Languages and Type Systems

People 2

Documents 0

Journals 0

Jobs 0

Computer Science

Program Verification Fundamentals

Static Analysis Techniques

Programming Languages and Type Systems

What is Following?

Following Tiago's work means that, in your Academia.edu News Feed, you will see Tiago's:

status updates
new papers
new research interests

and other research updates.

Tiago Santos

Universidade Nova de Lisboa

Graduate Student

Departamento de Informática Department

Program Verification Fundamentals, Programming Languages and Type Systems, and Static Analysis Techniques

What is Following?

Following Ali's work means that, in your Academia.edu News Feed, you will see Ali's:

status updates
new papers
new research interests

and other research updates.

Ali Nayel

Benha University

Graduate Student

Mathematics Department

Computer Science, Mathematics, Type Systems, and Programming Languages and Type Systems

x

Log In

Academia © 2012