Pedro Baltazar Vasconcelos


AuthID: R-000-EPD

Confirmed Publications: 13



11
TITLE: Using intersection types for cost-analysis of higher-order polymorphic functional programs
AUTHORS: Hugo R Simoes; Hammond, Kevin ; Mario Florido ; Pedro Vasconcelos ;
PUBLISHED: 2007, SOURCE: International Workshop on Types for Proofs and Programs in TYPES FOR PROOFS AND PROGRAMS, VOLUME: 4502
INDEXED IN: Scopus WOS
IN MY: ORCID
12
TITLE: Using Intersection Types for Cost-Analysis of Higher-Order Polymorphic Functional Programs
AUTHORS: Hugo R Simões; Hammond, Kevin; Mário Florido ; Pedro B Vasconcelos ;
PUBLISHED: 2006, SOURCE: Types for Proofs and Programs, International Workshop, TYPES 2006, Nottingham, UK, April 18-21, 2006, Revised Selected Papers, VOLUME: 4502
INDEXED IN: DBLP
IN MY: ORCID
13
TITLE: Inferring cost equations for recursive, polymorphic and higher-order functional programs
AUTHORS: Vasconcelos, PB ; Hammond, Kevin ;
PUBLISHED: 2004, SOURCE: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 3145
INDEXED IN: Scopus CrossRef: 47
IN MY: ORCID
Page 2 of 2. Total results: 13.

footer slogan

Useful Links

Get Help

© 2025 CRACS & Inesc TEC - All Rights Reserved Privacy Policy | Terms of Service