Type Systems
What is Following?
Following Simão's work means that, in your Academia.edu News Feed, you will see Simão's:
- status updates
- new papers
- new research interests
and other research updates.
Simão Melo de Sousa
What is Following?
Following Jesse A.'s work means that, in your Academia.edu News Feed, you will see Jesse A.'s:
- status updates
- new papers
- new research interests
and other research updates.
Jesse A. Tov
What is Following?
Following Árni Hermann's work means that, in your Academia.edu News Feed, you will see Árni Hermann's:
- status updates
- new papers
- new research interests
and other research updates.
Árni Hermann Reynisson
What is Following?
Following Kevin's work means that, in your Academia.edu News Feed, you will see Kevin's:
- status updates
- new papers
- new research interests
and other research updates.
Kevin Hammond
What is Following?
Following Dave's work means that, in your Academia.edu News Feed, you will see Dave's:
- status updates
- new papers
- new research interests
and other research updates.
Dave MacQueen
What is Following?
Following Stavros's work means that, in your Academia.edu News Feed, you will see Stavros's:
- status updates
- new papers
- new research interests
and other research updates.
Stavros Aronis
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
What is Following?
Following Vladimir's work means that, in your Academia.edu News Feed, you will see Vladimir's:
- status updates
- new papers
- new research interests
and other research updates.



