Breaking the Complexity Barrier of Pure Functional Programs with Impure Data Structures

by Pieter Wuille , Tom Schrijvers