Publications

Inferring Cost Equations for Recursive, Polymorphic and Higher-Order Functional Programs

AuthID
P-007-JHS

Author(s)

Vasconcelos, PB

Hammond, K

Document Type

Article

Year published

2004

Published

in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), ISSN: 0302-9743

Volume: 3145, Pages: 86-101

Indexing

Scopus^®

Crossref^®47

Google Scholar^®

Metadata
Sources

Publication Identifiers

DOI: 10.1007/978-3-540-27861-0_6

Scopus: 2-s2.0-35048887202

Source Identifiers

ISSN: 0302-9743

Export Publication Metadata

Marked List

Add to Marked List

Info

At this moment we don't have any links to full text documens.

Inferring Cost Equations for Recursive, Polymorphic and Higher-Order Functional Programs

Useful Links

Get Help

Federated Authentication (Click on the image)

Inferring Cost Equations for Recursive, Polymorphic and Higher-Order Functional Programs

Useful Links

Get Help