ProfileOfResearchers

Document Source:

Document Type:

Year Start - End:

Order:

Results:

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

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

IN MY:

ORCID

Page 2 of 2. Total results: 12.

Useful Links