Hugo Miguel Oliveira Romualdo Simões
AuthID: R-000-61X
1
TÃTULO: Automatic Amortised Analysis of Dynamic Memory Allocation for Lazy Functional Programs Full Text
AUTORES: Simoes, H; Vasconcelos, P ; Florido, M ; Jost, S; Hammond, Kevin ;
PUBLICAÇÃO: 2012, FONTE: ACM SIGPLAN NOTICES, VOLUME: 47, NÚMERO: 9
AUTORES: Simoes, H; Vasconcelos, P ; Florido, M ; Jost, S; Hammond, Kevin ;
PUBLICAÇÃO: 2012, FONTE: ACM SIGPLAN NOTICES, VOLUME: 47, NÚMERO: 9
2
TÃTULO: Automatic amortised analysis of dynamic memory allocation for lazy functional programs
AUTORES: Simoes, H; Vasconcelos, P ; Florido, M ; Jost, S; Hammond, Kevin;
PUBLICAÇÃO: 2012, FONTE: 17th ACM SIGPLAN International Conference on Functional Programming, ICFP 2012 in Proceedings of the ACM SIGPLAN International Conference on Functional Programming, ICFP
AUTORES: Simoes, H; Vasconcelos, P ; Florido, M ; Jost, S; Hammond, Kevin;
PUBLICAÇÃO: 2012, FONTE: 17th ACM SIGPLAN International Conference on Functional Programming, ICFP 2012 in Proceedings of the ACM SIGPLAN International Conference on Functional Programming, ICFP
INDEXADO EM: 
Scopus
Scopus3
TÃTULO: Using intersection types for cost-analysis of higher-order polymorphic functional programs
AUTORES: Hugo R Simoes; Hammond, Kevin ; Mario Florido ; Pedro Vasconcelos ;
PUBLICAÇÃO: 2007, FONTE: International Workshop on Types for Proofs and Programs in TYPES FOR PROOFS AND PROGRAMS, VOLUME: 4502
AUTORES: Hugo R Simoes; Hammond, Kevin ; Mario Florido ; Pedro Vasconcelos ;
PUBLICAÇÃO: 2007, FONTE: International Workshop on Types for Proofs and Programs in TYPES FOR PROOFS AND PROGRAMS, VOLUME: 4502
INDEXADO EM: Scopus 
WOS
Scopus WOS4
TÃTULO: Using Intersection Types for Cost-Analysis of Higher-Order Polymorphic Functional Programs
AUTORES: Hugo R Simões; Hammond, Kevin; Mário Florido ; Pedro B Vasconcelos ;
PUBLICAÇÃO: 2006, FONTE: Types for Proofs and Programs, International Workshop, TYPES 2006, Nottingham, UK, April 18-21, 2006, Revised Selected Papers, VOLUME: 4502
AUTORES: Hugo R Simões; Hammond, Kevin; Mário Florido ; Pedro B Vasconcelos ;
PUBLICAÇÃO: 2006, FONTE: Types for Proofs and Programs, International Workshop, TYPES 2006, Nottingham, UK, April 18-21, 2006, Revised Selected Papers, VOLUME: 4502
INDEXADO EM: 
DBLP
DBLP