Pedro Baltazar Vasconcelos


AuthID: R-000-EPD

Publicações Confirmadas: 16



11
TÍTULO: Type-Based Allocation Analysis for Co-recursion in Lazy Functional Languages  Full Text
AUTORES: Vasconcelos, P ; Jost, S; Florido, M ; Hammond, Kevin ;
PUBLICAÇÃO: 2015, FONTE: 24th European Conference on Programming (ESOP) held as Part of the 18th European Joint Conferences on Theory and Practice of Software (ETAPS) in PROGRAMMING LANGUAGES AND SYSTEMS, VOLUME: 9032
INDEXADO EM: Scopus WOS DBLP CrossRef: 11
NO MEU: ORCID
12
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
INDEXADO EM: Scopus WOS DBLP CrossRef: 2
NO MEU: ORCID
13
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
INDEXADO EM: Scopus
14
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
INDEXADO EM: Scopus WOS
NO MEU: ORCID
15
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
INDEXADO EM: DBLP
NO MEU: ORCID
16
TÍTULO: Inferring cost equations for recursive, polymorphic and higher-order functional programs
AUTORES: Vasconcelos, PB ; Hammond, Kevin ;
PUBLICAÇÃO: 2004, FONTE: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 3145
INDEXADO EM: Scopus CrossRef: 47
NO MEU: ORCID
Página 2 de 2. Total de resultados: 16.

Um espaço para investigadores e suas Instituições

Links Úteis

Ajuda

© 2026 CRACS & Inesc TEC - All Rights Reserved Política de Privacidade | Terms of Service