Book details

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