Verified Functional Programming in Agda

Verified Functional Programming in Agda

Functional Python Programming: Discover the power of functional programming, generator functions, lazy evaluation, the built-in itertools library, and monads

Pre-Owned Verified Functional Programming in Agda (ACM Books) Paperback

Mastering Agda: A Practical Guide to Dependently Typed Programming and Formal Verification

Workshops in Computing Functional Programming Glasgow 1993: Proceedings of the 1993 Glasgow Workshop on Functional Programming Ayr Scotland (Paperback)

Lecture Notes in Computer Science Advanced Functional Programming: Second International School Olympia Wa Usa August 26 - 30 1996 Tutorial Text Book 1129 (Paperback)

Practical Haskell: A Real World Guide to Programming

Lecture Notes in Computer Science Functional and Logic Programming: 7th International Symposium Flops 2004 Nara Japan April 7-9 2004 Proceedings Book 2998 (Paperback)

Icfp 12 Proceedings of the 2012 ACM Sigplan International Conference on Functional Programming (Paperback)

ML for the Working Programmer

Learn Functional Programming with Elixir

Purely Functional Data Structures

Functional Approach to Programming

The Art of Functional Programming