Acar, Blelloch, Harper - Adaptive Functional Programming (POPL 2002)

See research material.

(TODO)