Hugo R. Simões

List of publications from the DBLP Bibliography Server - FAQ

2006

1 EE 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

2006
1	EE	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

Coauthor Index