Functional Data Structures and Algorithms. A Proof Assistant Approach

Functional Data Structures and Algorithms: a Proof Assistant Approach