Cantitate/Preț
Produs

The Fun of Programming: Cornerstones of Computing

Autor Jeremy Gibbons, Oege De Moor
en Limba Engleză Paperback – 27 mar 2003
What will be the next revolution in software technology to follow XML and generics? Whatever it may be, it is likely to come from functional programming, where many of the key ideas of the last decade originated. In this textbook, the leading researchers of the field take you on a tour of the current hot topics in functional programming, with applications ranging from financial contracts to circuit design. There are also chapters on new idioms for structuring programs, such as monads and arrows. All new concepts are illustrated with many examples, and exercises appear throughout to further enliven the material. Several of the chapters describe a substantial piece of software, and most of these programs are collected on a website for free downloading.This book was edited in honour of Richard S.Bird, Professor of Computer Science at the University of Oxford, on his 60th birthday.
Citește tot Restrânge

Din seria Cornerstones of Computing

Preț: 33910 lei

Preț vechi: 42387 lei
-20%

Puncte Express: 509

Preț estimativ în valută:
6497 7037$ 5571£

Cartea nu se mai tipărește

Doresc să fiu notificat când acest titlu va fi disponibil:

Preluare comenzi: 021 569.72.76

Specificații

ISBN-13: 9780333992852
ISBN-10: 0333992857
Pagini: 280
Dimensiuni: 155 x 235 x 19 mm
Greutate: 0.41 kg
Ediția:2003
Editura: Bloomsbury Publishing
Colecția Red Globe Press
Seria Cornerstones of Computing

Locul publicării:London, United Kingdom

Caracteristici

Covers all the latest developments and current hot topics at the time of writing with applications ranging from financial contracts to circuit design

Notă biografică

JEREMY GIBBONS is a Lecturer in Software Engineering and Continuing Education at the University of Oxford, and a Fellow of Kellogg College.OEGE DE MOOR is a Professor in Computer Science at the University of Oxford, and a Fellow of Magdalen College.

Cuprins

Preface Fun with Binary Heap Trees; C.Okasaki Specification-based Testing with QuickCheck; K.Claessen & J.Hughes Origami Programming; J.Gibbons Describing and Interpreting Music in Haskell; P.Hudak Mechanising Fusion;  G.Sittampalam & O.de Moor How to Write a Financial Contract; S.Peyton Jones & J-M.Eber Functional Images;  C.Elliott Functional Hardware Description in Lava; K.Claessen, M.Sheeran & S.Singh Combinators for Logic Programming; M.Spivey & S.Seres Arrows and Computation; R.Paterson A Prettier Printer; P.Wadler Fun with Phantom Types; R.Hinze Bibliography Index.