Functional Data Structures and Algorithms
Subtitle: A Proof Assistant Approach
Publisher: Association for Computing Machinery
Published: 2025
Language: eng
ISBN-13: 9798400731563