Author Info
Name
Affiliation
Papers
PEDRO B. VASCONCELOS
Univ Porto, LIACC, P-4100 Oporto, Portugal
3
Collaborators
Citations 
PageRank 
8
8
1.12
Referers 
Referees 
References 
22
157
81
Search Limit
100157
Title
Citations
PageRank
Year
Type-Based Cost Analysis for Lazy Functional Languages.00.342017
Certifying execution time in multicores20.362015
Type-Based Allocation Analysis for Co-recursion in Lazy Functional Languages.60.422015