Hugo R. Simões

Publication Activity (10 Years)

Years Active: 2006-2012
Publications (10 Years): 0

Top Topics

Functional Programs

Top Venues

Publications

Hugo R. Simões, Pedro B. Vasconcelos, Mário Florido, Steffen Jost, Kevin Hammond
Automatic amortised analysis of dynamic memory allocation for lazy functional programs. ICFP (2012)
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)