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

Research topics in functional programming / [edited by] David A. Turner.

Contributor(s): Material type: TextTextSeries: The UT year of programming seriesPublication details: Reading, Massachusetts : Addison-Wesley Pub. Co., c1990.Description: xv, 374 p. : ill. ; 25 cmISBN:
  • 9780201172362
Subject(s): DDC classification:
  • 005.114 23 T945
Contents:
1. An overview of Miranda-- 2. Why functional programming matters-- 3. Exact real numbers: formulating real numbers as functions HANS-- 4. The lazy lambda calculus-- 5. Compile-time analysis of functional programs-- 6. Functional programming and databases-- 7. Lazy evaluation and the logic variable-- 8. An approach to functional operating systems-- 9. An introduction to the programming language FL-- 10. Interactive functional programs: A method and a formal semantics-- 11. A calculus of functions for program derivation-- 12. Higher-order functions considered unnecessary for higher-order programming-- 13. A higher-order type system for functional programming--
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 T945 (Browse shelf(Opens below)) Available C26354
Total holds: 0

Papers from a meeting held at the University of Texas at Austin, Aug. 1987.

Includes bibliographical references.

1. An overview of Miranda--
2. Why functional programming matters--
3. Exact real numbers: formulating real numbers as functions HANS--
4. The lazy lambda calculus--
5. Compile-time analysis of functional programs--
6. Functional programming and databases--
7. Lazy evaluation and the logic variable--
8. An approach to functional operating systems--
9. An introduction to the programming language FL--
10. Interactive functional programs: A method and a formal semantics--
11. A calculus of functions for program derivation--
12. Higher-order functions considered unnecessary for higher-order programming--
13. A higher-order type system for functional programming--

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