Related Books

Research Directions in Parallel Functional Programming
Language: en
Pages: 507
Authors: Kevin Hammond
Categories: Computers
Type: BOOK - Published: 2012-12-06 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

Programming is hard. Building a large program is like constructing a steam locomotive through a hole the size of a postage stamp. An artefact that is the fruit
Verified Functional Programming in Agda
Language: en
Pages: 328
Authors: Aaron Stump
Categories: Computers
Type: BOOK - Published: 2016-02-01 - Publisher: Morgan & Claypool

DOWNLOAD EBOOK

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
Trends in Functional Programming Volume 6
Language: en
Pages: 240
Authors: Marko Van Eekelen
Categories: Computers
Type: BOOK - Published: 2005-06-01 - Publisher: Intellect Books

DOWNLOAD EBOOK

This is Volume 7 of Trends in Functional Programming (TFP). It contains a refereed selection of the papers that were presented at TFP 2006: the Seventh Symposiu
Trends in Functional Programming
Language: en
Pages: 253
Authors: Aleksander Byrski
Categories: Computers
Type: BOOK - Published: 2020-08-17 - Publisher: Springer Nature

DOWNLOAD EBOOK

This book constitutes revised selected papers from the 21st International Symposium on Trends in Functional Programming, TFP 2020, which was held in Krakow, Pol
Functional JavaScript
Language: en
Pages: 440
Authors: Michael Fogus
Categories: Computers
Type: BOOK - Published: 2013-06-03 - Publisher: "O'Reilly Media, Inc."

DOWNLOAD EBOOK

How can you overcome JavaScript language oddities and unsafe features? With this book, you’ll learn how to create code that’s beautiful, safe, and simple to