Pedro B. Vasconcelos

	2006
3		Hugo R. Simões, Kevin Hammond, Mário Florido, Pedro B. Vasconcelos: Using Intersection Types for Cost-Analysis of Higher-Order Polymorphic Functional Programs. TYPES 2006: 221-236
	2003
2		Pedro B. Vasconcelos, Kevin Hammond: Inferring Cost Equations for Recursive, Polymorphic and Higher-Order Functional Programs. IFL 2003: 86-101
	2002
1		Álvaro J. Rebón Portillo, Kevin Hammond, Hans-Wolfgang Loidl, Pedro B. Vasconcelos: Cost Analysis Using Automatic Size and Time Inference. IFL 2002: 232-248

Coauthor Index

1	Mário Florido	[3]
2	Kevin Hammond	[1] [2] [3]
3	Hans-Wolfgang Loidl	[1]
4	Álvaro J. Rebón Portillo	[1]
5	Hugo R. Simões	[3]