An exercise on streams: convergence acceleration
arXiv:1312.4917
Abstract
This paper presents convergence acceleration, a method for computing efficiently the limit of numerical sequences as a typical application of streams and higher-order functions.