The theory of strictness analysis for higher order functions.

Geoffrey L. Burn Chris Hankin Samson Abramsky

Published in: Programs as Data Objects (1985)

Keyphrases

higher order
data analysis
theoretical framework
information systems
medical images
quantitative analysis
neural network
clustering algorithm
database systems
evolutionary algorithm
hidden markov models
basis functions
general theory