Pedro B. Vasconcelos
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
3
Venues
3
Active years
2012–2024
Best venue rank
C
Where they publish
Papers
3 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2024 | HASKELL | Haskelite: A Tracing Interpreter Based on a Pattern-Matching Calculus. | Pedro B. Vasconcelos, Rodrigo Marques |
| 2015 | ESOP | Type-Based Allocation Analysis for Co-recursion in Lazy Functional Languages. | Pedro B. Vasconcelos, Steffen Jost, Mrio Florido, Kevin Hammond |
| 2012 | ICFP | Automatic amortised analysis of dynamic memory allocation for lazy functional programs. | Hugo R. Simes, Pedro B. Vasconcelos, Mrio Florido, Steffen Jost, Kevin Hammond |