Your search returned 8 results.

Not what you expected? Check for suggestions
BOOKS
Functional programming using standard ML

by Wikstrom, A.

Material type: Text Text;Language: ; Format: print Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 50, Shelf No: 2 Call number: 681.3.06 WIK.

BOOKS
Introduction to functional programming

by Bird, Richard | Wadler, Philip.

Material type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: New York ; Prentice Hall ; 1988Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 49, Shelf No: 33 Call number: 681.3.06 BIRD.

BOOKS
Functional Programming Languages and Computer Architecture Proceedings, Conference, Nancy, France, 1985

by Jouannaud, Jean-Pierre. Ed.

Series: Lecture notes in computer science ; 00201Material type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer Verlag ; 1985Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 2 Call number: 681 LNCS.

BOOKS
Translating relational queries into Iterative programs

by Freytag, Johann Christoph.

Series: Lecture notes in computer science ; 00261Material type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer Verlag ; 1987Availability: Items available for loan: IMSc Library (1). Location(s): 7Second floor, Rack No: 48, Shelf No: 4 Call number: 681 LNCS.

BOOKS
Foundations of Logic and Functional Prgramming Proceedings, Workshop, Trento, Italy, 1986

by Boscarol, M. Ed | Carlucci Aiello, L. Ed | Levi, G. Ed.

Series: Lecture notes in computer science ; 00306Material type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer Verlag ; 1988Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 6 Call number: 681 LNCS.

BOOKS
Extensional Constructs in Intensional Type Theory

by Hofmann, Martin.

Series: CPHC/BCS Distinguished Dissertation SeriesMaterial type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: London ; Springer Verlag ; 1997Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 28, Shelf No: 4 Call number: 510.6 HOF.

BOOKS
Games and Full Abstraction for a Functional Metalanguage with Recursive Types : (DD)

by McCusker, Guy.

Series: Distinguished DissertationsMaterial type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: London ; Springer ; 1998Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 49, Shelf No: 10 Call number: 681.3 MCC.

BOOKS
ML with concurrency design, analysis, implementation, and application

by Nielson, Flemming Ed.

Series: Monographs in computer scienceMaterial type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: New York ; Springer ; c1997Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 49, Shelf No: 46 Call number: 681.3.06 NIE.

The Institute of Mathematical Sciences, Chennai, India

Powered by Koha