Related Books
Language: en
Pages: 624
Pages: 624
Type: BOOK - Published: 1989 - Publisher: Addison Wesley Publishing Company
Software -- Programming Techniques.
Language: en
Pages: 714
Pages: 714
Type: BOOK - Published: 2008-11-15 - Publisher: "O'Reilly Media, Inc."
This easy-to-use, fast-moving tutorial introduces you to functional programming with Haskell. You'll learn how to use Haskell in a variety of practical ways, fr
Language: en
Pages: 320
Pages: 320
Type: BOOK - Published: 2019-02-06 - Publisher: John Wiley & Sons
Your guide to the functional programming paradigm Functional programming mainly sees use in math computations, including those used in Artificial Intelligence a
Language: en
Pages: 172
Pages: 172
Type: BOOK - Published: 1974 - Publisher: McGraw-Hill Companies
Covers Expression, Structure, Common Blunders, Documentation, & Structured Programming Techniques
Language: en
Pages: 328
Pages: 328
Type: BOOK - Published: 2016-02-01 - Publisher: Morgan & Claypool
Agda is an advanced programming language based on Type Theory. Agda's type system is expressive enough to support full functional verification of programs, in t