Online Public Access Catalogue (OPAC)
Library,Documentation and Information Science Division

“A research journal serves that narrow

borderland which separates the known from the unknown”

-P.C.Mahalanobis


Image from Google Jackets

Introduction to functional programming systems using haskell / Antony J.T. Davie.

By: Material type: TextTextSeries: Cambridge computer science texts ; 27Publication details: Cambridge ; Cambridge University Press, c1992.Description: xiv, 290 p. : ill. ; 24 cmISBN:
  • 9780521277242 (pbk.)
Subject(s): DDC classification:
  • 005.114 23 D254
Contents:
1. Introduction-- 2. Introduction to functional programs-- 3. Techniques and methods-- 4. Types-- 5. Lambda calculus-- 6. Applicative implementation-- 7. Lazy evaluation-- 8. Implementation of lazy evaluation-- 9. Correctness-- 10. Applicative program transformation-- 11. Parallel evaluation-- Bibliography-- Appendices-- Index.
Summary: This book serves as an introduction both to functional programming and Haskell, and will be most useful to students, teachers and researchers in either of these areas. An especially valuable feature are the chapters on programming and implementation, along with a large number of exercises.
Tags from this library: No tags from this library for this title. Log in to add tags.
Holdings
Item type Current library Call number Status Date due Barcode Item holds
Books ISI Library, Kolkata 005.114 D254 (Browse shelf(Opens below)) Available C26378
Total holds: 0

Includes bibliographical references (p. 213-225) and index.

1. Introduction--
2. Introduction to functional programs--
3. Techniques and methods--
4. Types--
5. Lambda calculus--
6. Applicative implementation--
7. Lazy evaluation--
8. Implementation of lazy evaluation--
9. Correctness--
10. Applicative program transformation--
11. Parallel evaluation--
Bibliography--
Appendices--
Index.

This book serves as an introduction both to functional programming and Haskell, and will be most useful to students, teachers and researchers in either of these areas. An especially valuable feature are the chapters on programming and implementation, along with a large number of exercises.

There are no comments on this title.

to post a comment.
Library, Documentation and Information Science Division, Indian Statistical Institute, 203 B T Road, Kolkata 700108, INDIA
Phone no. 91-33-2575 2100, Fax no. 91-33-2578 1412, ksatpathy@isical.ac.in