Bernd Jürgen Schadei's votes on the list Functional Programming

Listopia > Bernd Jürgen Schadei's votes on the list Functional Programming (21 Books)

1	Interactive Theorem Proving and Program Development by Yves Bertot 4.11 avg rating — 28 ratings Bernd added it to to-read See Review	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars
2	Certified Programming with Dependent Types: A Pragmatic Introduction to the Coq Proof Assistant by Adam Chlipala 4.28 avg rating — 29 ratings Bernd added it to to-read See Review	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars
3	Lectures on the Curry-Howard Isomorphism (Volume 149) (Studies in Logic and the Foundations of Mathematics, Volume 149) by Morten Heine B. Sørensen 4.31 avg rating — 13 ratings Bernd added it to to-read See Review	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars
4	Types and Programming Languages by Benjamin C. Pierce 4.27 avg rating — 591 ratings Bernd added it to to-read See Review	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars
5	Lambda-calculus, Combinators and Functional Programming (Cambridge Tracts in Theoretical Computer Science, Series Number 4) by György E. Révész liked it 3.00 avg rating — 6 ratings Bernd added it to to-read See Review	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars
6	An Introduction to Functional Programming Through Lambda Calculus by Greg Michaelson (Goodreads Author) 4.13 avg rating — 225 ratings Bernd added it to to-read See Review	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars
7	To Mock a Mockingbird and Other Logic Puzzles by Raymond M. Smullyan 4.18 avg rating — 353 ratings Bernd added it to to-read See Review	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars
8	Structure and Interpretation of Computer Programs by Harold Abelson 4.47 avg rating — 4,851 ratings Bernd added it to to-read See Review	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars
9	Discrete Mathematics and Functional Programming by Thomas Vandrunen 3.80 avg rating — 5 ratings Bernd added it to to-read See Review	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars
10	The Haskell Road to Logic, Maths and Programming by Kees Doets 3.65 avg rating — 122 ratings Bernd added it to to-read See Review	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars
11	Learn You a Haskell for Great Good! by Miran Lipovača 4.31 avg rating — 2,373 ratings Bernd added it to to-read See Review	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars
12	The Little MLer by Matthias Felleisen 3.89 avg rating — 63 ratings Bernd added it to to-read See Review	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars
13	Introduction to the Art of Programming Using Scala (Chapman & Hall/CRC Textbooks in Computing) by Mark C. Lewis 4.33 avg rating — 12 ratings Bernd added it to to-read See Review	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars
14	F# for Scientists by Jon Harrop 3.05 avg rating — 21 ratings Bernd added it to to-read See Review	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars
15	Real World OCaml: Functional programming for the masses by Yaron Minsky 4.26 avg rating — 123 ratings Bernd added it to to-read See Review	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars
16	Lambda-Calculus and Combinators: An Introduction by J. Roger Hindley 3.83 avg rating — 23 ratings Bernd added it to to-read See Review	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars
17	Atomic Scala by Bruce Eckel 3.88 avg rating — 43 ratings Bernd added it to to-read See Review	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars
18	The Reasoned Schemer by Daniel P. Friedman 4.25 avg rating — 228 ratings Bernd added it to to-read See Review	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars
19	The Seasoned Schemer by Daniel P. Friedman 4.29 avg rating — 268 ratings Bernd added it to to-read See Review	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars
20	Realm of Racket: Learn to Program, One Game at a Time! by Matthias Felleisen 3.73 avg rating — 96 ratings Bernd added it to to-read See Review	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars
21	Land of Lisp by Conrad Barski 4.16 avg rating — 675 ratings Bernd added it to to-read See Review	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars