Type-Based Cost Analysis for Lazy Functional Languages.

Steffen Jost Pedro B. Vasconcelos Mário Florido Kevin Hammond

Published in: J. Autom. Reason. (2017)

Keyphrases

real world
artificial intelligence
databases
information systems
decision making
image segmentation
search algorithm
xml documents
microarray
quantitative analysis
total cost
language independent