The Reasoned Schemer

The goal of The Reasoned Schemer is to help the functional programmer think logically and the logic programmer think functionally. The authors of The Reasoned Schemer believe that logic programming is a natural extension of functional programming, and the...

 Programmation fonctionnelle, générique et objet Une introduction avec le langage OCaml

Aujourd'hui, les langages sont nombreux, et les styles de programmation qu'ils offrent se multiplient. Par exemple, les langages C ++, Eiffel, Java proposent des moyens de programmation objet et générique ; les langages Ada, Fortran, Cobol ont intégr...

 Concepts et outils de programmation Le style fonctionnel, le style impératif avec Caml à l'impératif avec Ada

Quoique s'adressant à des débutants, les auteurs ont choisi d'introduire les concepts et outils de programmation réputés comme étant les plus avancés, dans le but d'offrir un matériel méthodique de programmation fonctionnelle solide. Les langages choisis ...

 Trends in Functional Programming - Volume 3

This book brings together leading researchers and practitioners in the field of functional programming. The work presented here covers many aspects of the field, including: Language and design Proof and translation Semantics and models Implementation...

 Haskell The Craft of Functional Programming

The second edition of Haskell: The Craft of Functional Programming is essential reading for beginners to functional programming and newcomers to the Haskell programming language. The emphasis is on the process of crafting programs and the text contains ma...

 Haskell 98 Language and Libraries The Revised Report

Haskell is the world's leading lazy functional programming language, widely used for teaching, research, and applications. The language continues to develop rapidly, but in 1998 the community decided to capture a stable snapshot of the language: Haskell 9...

 The Haskell School of Expression Learning Functional Programming Through Multimedia

Functional programming is a style of programming that emphasizes the use of functions (in contrast to object-oriented programming, which emphasizes the use of objects). It has become popular in recent years because of its simplicity, conciseness, and clar...