Hugo R. Simões

According to our database, Hugo R. Simões authored at least 2 papers between 2006 and 2012.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2012

Automatic amortised analysis of dynamic memory allocation for lazy functional programs.

Hugo R. Simões, Pedro B. Vasconcelos, Mário Florido, Steffen Jost, Kevin Hammond

Proceedings of the ACM SIGPLAN International Conference on Functional Programming, 2012

2006

Using Intersection Types for Cost-Analysis of Higher-Order Polymorphic Functional Programs.

Hugo R. Simões, Kevin Hammond, Mário Florido, Pedro B. Vasconcelos

Proceedings of the Types for Proofs and Programs, International Workshop, 2006