Verified Functional Programming In Agda

Author: Aaron Stump
Publisher: Morgan & Claypool
ISBN: 1970001267
Size: 59.35 MB
Format: PDF, Mobi
View: 7605
Download Read Online
More advanced material on type-level computation, explicit reasoning about termination, and normalization by evaluation is also included. The book also includes a medium-sized case study on Huffman encoding and decoding.

Das F Hnlein Der Sieben Aufrechten

Author: Gottfried Keller
Publisher: BoD – Books on Demand
ISBN: 3843071373
Size: 32.72 MB
Format: PDF, ePub, Docs
View: 3238
Download Read Online
Gottfried Keller: Das Fähnlein der sieben Aufrechten Entstanden 1860, Erstdruck in: Berthold Auerbachs deutscher Volks-Kalender auf das Jahr 1861, Leipzig 1860.