Statistics
Publications
4
Citations
151
H-Index
4
Active since
1999
Affiliations
University of Minho(Current)
Maria João Frade is an author at University of Minho specializing in type systems, programming languages, and computer science.
Publications per year
1999–2011
4
4
Type-based termination of recursive definitions
Gilles Barthe, Maria João Frade, Luís Pinto et al. · Mathematical Structures in Computer Science · 2004 · 104 citations · Full text
Gilles Barthe, Maria João Frade · Lecture notes in computer science · 1999 · 12 citations · Full text
1–4 of 4