Chunked sequences: O(1) push and pop, O(log n) split and concat, low constant fadeepsea.inria.fr1 pointfanf22 years ago