| |
| 2006 | ||
|---|---|---|
| 3 | 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 |
| 2003 | ||
| 2 | EE | Pedro B. Vasconcelos, Kevin Hammond: Inferring Cost Equations for Recursive, Polymorphic and Higher-Order Functional Programs. IFL 2003: 86-101 |
| 2002 | ||
| 1 | EE | Á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 |
| 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] |