Lazy tree splitting. - BERGSTROM, LARS; FLUET, MATTHEW; RAINEY, MIKE; REPPY, JOHN; SHAW, ADAM (Journal of Functional Programming, 2012)