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

Your search returned 6 results. Subscribe to this search

|
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).

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).

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).

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).

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).

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).

Powered by Koha