ProfileOfResearchers

Document Source:

Document Type:

Year Start - End:

Order:

Results:

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

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

NO MEU:

ORCID

Página 2 de 2. Total de resultados: 12.

Links Úteis