A bargain for mergesorts (functional pearl) - How to prove your mergesort correct and stable, almost for free.

Cyril Cohen Kazuhiko Sakaguchi

Published in: CoRR (2024)

Keyphrases

belief revision
search engine
functional analysis
machine learning
genetic algorithm
artificial intelligence
information systems
feature selection
image processing
computational complexity
expert systems
multiresolution
special case
upper bound
causal models