[TYPES/announce] New book: Functional Algorithms, Verified!

[Tobias Nipkow]

Functional Algorithms, Verified!
http://functional-algorithms-verified.org/

This book is an introduction to data structures and algorithms for functional 
languages, with a focus on proofs. It covers both functional correctness and 
running time analysis. It does so in a unified manner with inductive proofs 
about functional programs and their running time functions.
All proofs have been machine-checked by the proof assistant Isabelle.

Enjoy!
Tobias

-------------- next part --------------
A non-text attachment was scrubbed...
Name: smime.p7s
Type: application/pkcs7-signature
Size: 5579 bytes
Desc: S/MIME Cryptographic Signature
URL: <http://LISTS.SEAS.UPENN.EDU/pipermail/types-announce/attachments/20210510/d2c9f46a/attachment-0001.p7s>