|
Search the dblp DataBase
Pedro B. Vasconcelos:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Álvaro J. Rebón Portillo, Kevin Hammond, Hans-Wolfgang Loidl, Pedro B. Vasconcelos
Cost Analysis Using Automatic Size and Time Inference. [Citation Graph (0, 0)][DBLP] IFL, 2002, pp:232-248 [Conf]
- Pedro B. Vasconcelos, Kevin Hammond
Inferring Cost Equations for Recursive, Polymorphic and Higher-Order Functional Programs. [Citation Graph (0, 0)][DBLP] IFL, 2003, pp:86-101 [Conf]
- Hugo R. Simões, Kevin Hammond, Mário Florido, Pedro B. Vasconcelos
Using Intersection Types for Cost-Analysis of Higher-Order Polymorphic Functional Programs. [Citation Graph (0, 0)][DBLP] TYPES, 2006, pp:221-236 [Conf]
Search in 0.001secs, Finished in 0.001secs
|