Statistics
Publications
3
Citations
67
H-Index
3
Active since
2004
Affiliations
Pedro Vasconcelos is an author at University of St Andrews specializing in computer science, functional programming, and computing.
Publications per year
2004–2017
3
3
Type-Based Cost Analysis for Lazy Functional Languages
Steffen Jost, Pedro Vasconcelos, Mário Florido et al. · Journal of Automated Reasoning · 2017 · 22 citations
1–3 of 3