PKK Library

Your cart is empty.

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

Your search returned 6 results. Subscribe to this search

Unhighlight Highlight
|
1.
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
2.
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
3.
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
4.
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
5.
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
6.
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

Powered by Koha