Generic proofs for combinator-based generic programs.

Published in: Trends in Functional Programming (2004)

Keyphrases

domain specific
real time
image processing
high level
computer programs
databases
artificial intelligence
similarity measure
data structure
search algorithm
evolutionary algorithm
hidden markov models