Topic Search: Funktionale Programmierung

1Elements of functional programming

By Chris Reade

“Elements of functional programming” Metadata:

Title: ➤ Elements of functional programming
Author: Chris Reade
Language: English
Number of Pages: Median: 600
Publisher: Addison-Wesley
Publish Date: 1989
Publish Location: ➤ Reading, Mass - Wokingham, England

“Elements of functional programming” Subjects and Themes:

Subjects: ➤ Lambda calcul - Interpréteur commande - Évaluation - Functional programming (Computer science) - Polymorphisme - Programmation fonctionnelle - Sémantique dénotationnelle - Type abstrait - Funktionale Programmierung - Programmation fonctionnelle (informatique) - Computer programming

Edition Identifiers:

The Open Library ID: OL24669804M - OL24764238M
Online Computer Library Center (OCLC) ID: 19124943
Library of Congress Control Number (LCCN): 89000036
All ISBNs: 0201129159 - 9780201129151

Access and General Info:

First Year Published: 1989
Is Full Text Available: Yes
Is The Book Public: No
Access Status: Borrowable

Downloads Are Not Available:

The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.

Online Borrowing:

Borrowing from Open Library: Borrowing link
Borrowing from Archive.org: Borrowing link

Online Marketplaces

Find Elements of functional programming at online marketplaces:

Amazon: Audiable, Kindle and printed editions.

Ebay: New & used books.

2Programming Elixir

Functional |> Concurrent |> Pragmatic |> Fun

By Dave Thomas

“Programming Elixir” Metadata:

Title: Programming Elixir
Author: Dave Thomas
Number of Pages: Median: 280
Publisher: Pragmatic Bookshelf
Publish Date: 2014

“Programming Elixir” Subjects and Themes:

Subjects: ➤ Funktionale Programmierung - Funktionale Programmiersprache - Functional programming languages

Edition Identifiers:

The Open Library ID: OL26837660M
Library of Congress Control Number (LCCN): 2015472083
All ISBNs: 9781937785581 - 1937785580

Author's Alternative Names:

"David Thomas" and "Thomas, David"

Access and General Info:

First Year Published: 2014
Is Full Text Available: No
Is The Book Public: No
Access Status: No_ebook

Online Marketplaces

Find Programming Elixir at online marketplaces:

Amazon: Audiable, Kindle and printed editions.

Ebay: New & used books.

3Applicative high order programming

By Stefan Sokołowski

“Applicative high order programming” Metadata:

Title: ➤ Applicative high order programming
Author: Stefan Sokołowski
Language: English
Number of Pages: Median: 250
Publisher: ➤ Van Nostrand Reinhold - Chapman and Hall
Publish Date: 1991
Publish Location: London, UK - New York - London

“Applicative high order programming” Subjects and Themes:

Subjects: ➤ ML (Computer program language) - Type donnée - Programmation applicative - Programmation ML - ML - Programmation fonctionnelle - ML (Langage de programmation) - Funktionale Programmierung - Programmation fonctionnelle (informatique) - Langages de programmation

Edition Identifiers:

Google Books ID: H5EZAQAAIAAJ
The Open Library ID: OL1888354M - OL7478573M - OL21426420M
Online Computer Library Center (OCLC) ID: 22663710 - 22509047 - 655227929
Library of Congress Control Number (LCCN): 90049712
All ISBNs: 0442308388 - 9780412392405 - 9780442308384 - 0412392402

Author's Alternative Names:

"S. Sokołowski"

Access and General Info:

First Year Published: 1991
Is Full Text Available: No
Is The Book Public: No
Access Status: Unclassified

Downloads Are Not Available:

The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.

Online Borrowing:

Online Marketplaces

Find Applicative high order programming at online marketplaces:

Amazon: Audiable, Kindle and printed editions.

Ebay: New & used books.

4Foundations of Logic and Functional Programming Workshop

By Foundations of Logic and Functional Programming Workshop (1986 Trento, Italy)

“Foundations of Logic and Functional Programming Workshop” Metadata:

Title: ➤ Foundations of Logic and Functional Programming Workshop
Author: ➤ Foundations of Logic and Functional Programming Workshop (1986 Trento, Italy)
Language: English
Number of Pages: Median: 218
Publisher: Springer
Publish Date: 1988

“Foundations of Logic and Functional Programming Workshop” Subjects and Themes:

Subjects: ➤ Logique symbolique et mathématique - Symbolic and mathematical Logic - Programmation logique - Functional programming (Computer science) - Functionele programmering - Congrès - Congresses - Programmation fonctionnelle - Logisch programmeren - Funktionale Programmierung - Logische Programmierung
Places: Trient <1986>

Edition Identifiers:

The Open Library ID: OL12772725M
All ISBNs: 9783540191292 - 3540191291

Access and General Info:

First Year Published: 1988
Is Full Text Available: Yes
Is The Book Public: No
Access Status: Printdisabled

Downloads Are Not Available:

The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.

Online Borrowing:

Online Marketplaces

Find Foundations of Logic and Functional Programming Workshop at online marketplaces:

Amazon: Audiable, Kindle and printed editions.

Ebay: New & used books.

5Scala for the Impatient (2nd Edition)

By Cay S. Horstmann

“Scala for the Impatient (2nd Edition)” Metadata:

Title: ➤ Scala for the Impatient (2nd Edition)
Author: Cay S. Horstmann
Number of Pages: Median: 384
Publisher: Addison-Wesley Professional
Publish Date: 2016

“Scala for the Impatient (2nd Edition)” Subjects and Themes:

Subjects: ➤ Computer programming - Functional programming (Computer science) - Scala (Computer program language) - Programming languages (Electronic computers) - Object-oriented programming (computer science) - Java (computer program language) - Funktionale Programmierung - Scala - Scala (computer program language) - Qa76.73.s28

Edition Identifiers:

The Open Library ID: OL26836368M
Online Computer Library Center (OCLC) ID: 964820811
Library of Congress Control Number (LCCN): 2016954825
All ISBNs: 9780134540566 - 0134540565

Access and General Info:

First Year Published: 2016
Is Full Text Available: No
Is The Book Public: No
Access Status: No_ebook

Online Marketplaces

Find Scala for the Impatient (2nd Edition) at online marketplaces:

Amazon: Audiable, Kindle and printed editions.

Ebay: New & used books.

6Pattern Calculus

By Barry Jay

“Pattern Calculus” Metadata:

Title: Pattern Calculus
Author: Barry Jay
Language: English
Publisher: ➤ Springer-Verlag Berlin Heidelberg - Springer Berlin / Heidelberg
Publish Date: 2009 - 2014
Publish Location: Berlin, Heidelberg

“Pattern Calculus” Subjects and Themes:

Subjects: ➤ Logic design - Computer science - Calculus, data processing - Data structures (Computer science) - Functional programming (Computer science) - Lambda calculus - Datenstruktur - Mustervergleich - Lambda-Kalkül - Funktionale Programmierung - Typisierte Programmiersprache - Algebraischer Datentyp - Objektklasse - Typsystem - Typisierter Lambda-Kalkül - Abfrage

Edition Identifiers:

The Open Library ID: OL36212652M - OL25538813M
Online Computer Library Center (OCLC) ID: 416294701
Library of Congress Control Number (LCCN): 2009926961
All ISBNs: ➤ 3642426018 - 9783540891840 - 9783540891857 - 3540891846 - 3540891854 - 9783642426018

Access and General Info:

First Year Published: 2009
Is Full Text Available: No
Is The Book Public: No
Access Status: Unclassified

Downloads Are Not Available:

The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.

Online Borrowing:

Online Marketplaces

Find Pattern Calculus at online marketplaces:

Amazon: Audiable, Kindle and printed editions.

Ebay: New & used books.

7The Functional approach to data management

By Peter M. D. Gray

“The Functional approach to data management” Metadata:

Title: ➤ The Functional approach to data management
Author: Peter M. D. Gray
Language: English
Number of Pages: Median: 490
Publisher: Springer
Publish Date: 2003 - 2004
Publish Location: New York - Berlin

“The Functional approach to data management” Subjects and Themes:

Subjects: ➤ Functional programming (Computer science) - Database management - Datenintegration - Datenmodell - Datentransformation - Abfrageverarbeitung - Programmation fonctionnelle - Gestion - Funktionale Programmierung - Datenbanksystem - Bases de données - Functional programming (computer science)

Edition Identifiers:

The Open Library ID: OL9053778M - OL18210578M
Online Computer Library Center (OCLC) ID: 52720614
Library of Congress Control Number (LCCN): 2003059030
All ISBNs: 9783540003755 - 3540003754

Access and General Info:

First Year Published: 2003
Is Full Text Available: No
Is The Book Public: No
Access Status: No_ebook

Downloads Are Not Available:

The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.

Online Borrowing:

Online Marketplaces

Find The Functional approach to data management at online marketplaces:

Amazon: Audiable, Kindle and printed editions.

Ebay: New & used books.

8Funktionale Programmierung

By Peter Pepper

“Funktionale Programmierung” Metadata:

Title: Funktionale Programmierung
Author: Peter Pepper
Language: ger
Publisher: Springer Berlin Heidelberg
Publish Date: 1999
Publish Location: Berlin, Heidelberg

“Funktionale Programmierung” Subjects and Themes:

Subjects: Applikative Programmierung - Funktionale Programmierung - Computer science

Edition Identifiers:

The Open Library ID: OL27040411M
Online Computer Library Center (OCLC) ID: 863862672
All ISBNs: 3642980023 - 9783642980022

Access and General Info:

First Year Published: 1999
Is Full Text Available: No
Is The Book Public: No
Access Status: Unclassified

Downloads Are Not Available:

The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.

Online Borrowing:

Online Marketplaces

Find Funktionale Programmierung at online marketplaces:

Amazon: Audiable, Kindle and printed editions.

Ebay: New & used books.

9Struktur und Interpretation von Computerprogrammen

By Joseph S. Sussman

“Struktur und Interpretation von Computerprogrammen” Metadata:

Title: ➤ Struktur und Interpretation von Computerprogrammen
Author: Joseph S. Sussman
Language: ger
Publisher: Springer Berlin Heidelberg
Publish Date: 2001
Publish Location: Berlin, Heidelberg

“Struktur und Interpretation von Computerprogrammen” Subjects and Themes:

Subjects: Algorithmische Programmierung - Funktionale Programmierung - Strukturierte Programmierung - Scheme - Programmierung

Edition Identifiers:

The Open Library ID: OL27089902M
Online Computer Library Center (OCLC) ID: 863688291
All ISBNs: 9783642567063 - 3642567061

Access and General Info:

First Year Published: 2001
Is Full Text Available: No
Is The Book Public: No
Access Status: Unclassified

Downloads Are Not Available:

The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.

Online Borrowing:

Online Marketplaces

Find Struktur und Interpretation von Computerprogrammen at online marketplaces:

Amazon: Audiable, Kindle and printed editions.

Ebay: New & used books.

10Adapting proofs-as-programs

By Iman Hafiz Poernomo and Martin Wirsing

“Adapting proofs-as-programs” Metadata:

Title: Adapting proofs-as-programs
Authors: Iman Hafiz PoernomoMartin Wirsing
Language: English
Number of Pages: Median: 420
Publisher: Springer
Publish Date: 2005

“Adapting proofs-as-programs” Subjects and Themes:

Subjects: ➤ Lambda calculus - Symbolic and mathematical Logic - Proof theory - Curry-Howard isomorphism - Functional programming (Computer science) - Abstract data types (Computer science) - Algebraische Methode - Softwareentwicklung - Funktionale Programmierung - Software engineering - Computer science - Logic design - Logics and Meanings of Programs - Mathematical Logic and Foundations - Programming Techniques - Software Engineering/Programming and Operating Systems - Models and Principles

Edition Identifiers:

The Open Library ID: OL7444579M
Online Computer Library Center (OCLC) ID: 58478542
Library of Congress Control Number (LCCN): 2005046411
All ISBNs: 0387237593 - 9780387237596

First Setence:

"Ultimately, software developers would like to solve problems by building well-structured, comprehensible, correct programs, solely through the application of domain knowledge."