PKK Library

Your cart is empty.

Welcome to P K Kelkar Library, Online Public Access Catalogue (OPAC)

Your search returned 17 results. Subscribe to this search

Unhighlight Highlight
|
1.
Elements of Functional Programming

by Reade, Chris.

Material type: book Book Description: xv, 600p.Publisher: Wokingham Addison-Wesley 1989Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 005.11 R221e] (1). Items available for reference: PK Kelkar Library, IIT Kanpur [Call number: 005.11 R221e] (1).

Place hold Add to cart
2.
ELEMENTS OF FUNCTIONAL PROGRAMMING

by Reade, Chris.

Material type: book Book Description: xv,600.Publisher: Wokingham Addison-Wesley c1989Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.6424 R221e] (1).

Place hold Add to cart
3.
Functional programming using standard ml

by Wilkstrom, Ake.

Material type: book Book; Format: print ; Literary form: not fiction Description: xvii, 446p.Publisher: London Prentice Hall 1987Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.6424 W64f] (1).

Place hold Add to cart
4.
LOGICAL FOUNDATIONS OF FUNCTIONAL PROGRAMMING

by Huet, Gerard.

Material type: book Book Description: xvi,491.Publisher: Reading, Mass. Addison-Wesley c1990Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.642 L829] (1).

Place hold Add to cart
5.
PARALLEL COMPUTERS

by Treleaven, P. C.

Material type: book Book Description: xvi,927.Publisher: Chichester John Wiley c1990Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.6425 P212c] (1).

Place hold Add to cart
6.
Introduction to functional programming through Lambda calculus

by Michaelson, Greg.

Material type: book Book Description: xv, 320p.Publisher: Wokingham, England Addison-Wesley c1989Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.6424 M582i] (1).

Place hold Add to cart
7.
RESEARCH TOPICS IN FUNCTIONAL PROGRAMMING

by Turner, David A.

Material type: book Book Description: xv,373.Publisher: Reading, Mass. Addison-Wesley c1990Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.642 R311t] (1).

Place hold Add to cart
8.
Functional programming : practice and theory

by Maclennan, Bruce J.

Material type: book Book Description: xii, 596p.Publisher: Reading, Massachusetts Addison-Wesley 1990Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.6424 M224f] (1).

Place hold Add to cart
9.
Functional programming : practice and theory

by Maclennan, Bruce J.

Material type: book Book; Format: print ; Literary form: not fiction Description: xii, 596p.Publisher: Reading, Massachusetts Addison-Wesley 1990Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.6424 M224f] (1).

Place hold Add to cart
10.
Implementation of functional programming languages

by Jones, Simon L. Peyton.

Material type: book Book; Format: print ; Literary form: not fiction Description: xviii, 445p.Publisher: London Prentice-Hall International Pub. 1987Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.6424 J69i] (1).

Place hold Add to cart
11.
Functional programming

by Field, Anthony J | Harrison, Peter G.

Material type: book Book; Format: print ; Literary form: not fiction Description: xiv, 602p.Publisher: Wokingham, England Addison-Wesley 1988Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.642 F453f] (1).

Place hold Add to cart
12.
Games and full abstraction for a functional metalanguage with recursive types

by McCusker, Guy.

Material type: book Book Description: xiii, 189p.Publisher: London Springer-Verlag c1998Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 005.13 M139g] (1).

Place hold Add to cart
13.
THE OPTIMAL IMPLEMENTATION OF FUNCTIONAL PROGRAMMING LANGUAGES

by Asperti,Andrea | Guerrini,Stefano.

Material type: book Book; Format: print ; Literary form: not fiction Description: xi,392.Publisher: Cambridge Univ. Press, Cambridge 1998Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 005.13 AS64O] (1).

Place hold Add to cart
14.
LINEAR-FRACTIONAL PROGRAMMING THEORY, METHODS APPLICATIONS AND SOFTWARE

by Bajalinov,Erik B.

Material type: book Book; Format: print ; Literary form: not fiction Description: xxvii,423.Publisher: Kluwer Academic Publishers, Boston 2003Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 519.72 B167L] (1).

Place hold Add to cart
15.
Pearls of functional algorithm design

by Bird, Richard.

Material type: book Book; Format: print ; Literary form: not fiction Description: xi, 277p.Publisher: Cambridge Cambridge University Press 2010Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 006.31 B532p] (1).

Place hold Add to cart
16.
Software engineering with OBJ : algebraic specification in action

by | Goguen, Joseph., Ed.

Material type: book Book; Format: print ; Literary form: not fiction Description: xxvi, 410p.Publisher: Boston Kluwer Academic 2000Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 005.1 So23] (1).

Place hold Add to cart
17.
Nominal sets : names and symmetry in computer science

by Pitts, Andrew M.

Material type: book Book; Format: print ; Literary form: not fiction Description: xiii, 276p.Publisher: Cambridge Cambridge University Press 2013Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 005.114 P687n] (1).

Place hold Add to cart

Powered by Koha