-
Open ↗
Functional Data Structures and Algorithms: A Proof Assistant Approach
by Tobias Nipkow , Jasmin Blanchette , Manuel Eberl , Alejandro Gómez-Londoño , Peter Lammich , Christian Sternagel , Simon Wimmer , Bohua Zhan
Topics: Functional programming , Data structures , Algorithms
- Open ↗
- Open ↗
- Open ↗
-
Open ↗
Sequential and Parallel Data Structures and Algorithms: The Basic Toolbox
by Peter Sanders , Martin Dietzfelbinger , Kurt Mehlhorn , Roman Dementiev
Topics: Algorithms , Data structures