|
|
1.
|
Introduction to functional programming using haskell
by Bird, Richard. Edition: 2nd ed.Material type:  Book; Format:
print
; Literary form:
Not fiction
Publisher: Harlow: Prentice Hall, 1998Availability: Items available for loan: [Call number: 005.114 BIR] (1).
|
|
|
2.
|
Adapting proofs-as-programs : the Curry-Howard protocol
by Crossley, John N | Poernomo, Iman Hafiz | Wirsing, Martin. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Springer, 2005Availability: Items available for loan: [Call number: 511.36 POE] (1).
|
|
|
3.
|
Functional approach to data management : modeling, analyzing and integrating heterogeneous data
by Gray, Peter M. D | Kerschberg, Larry | King, Peter J. H | Poulovassilis, Alexandra. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Berlin: Springer-Verlag, 2004Availability: Items available for loan: [Call number: 005.74 GRA] (1).
|
|
|
4.
|
Haskell : the craft of functional programming
by Thompson, Simon. Edition: 3rd ed.Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Harlow: Addison-Wesley, 2011Availability: Items available for loan: [Call number: 005.133 THO] (1).
|
|
|
5.
|
Spreadsheet implementation technology : basics and extensions
by Sestoft, Peter. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Cambridge: MIT Press, 2014Availability: Items available for loan: [Call number: 005.54 SES] (1).
|
|
|
6.
|
Fun of programming
by Moor, Oege | Gibbons, Jeremy. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Palgrave Macmillan, 2003Availability: Items available for loan: [Call number: 005.114 GIB] (1).
|
|
|
7.
|
F# for scientists
by Harrop, Jon D. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Hoboken: John Wiley & Sons, 2008Availability: Items available for loan: [Call number: 005.114 HAR] (1).
|
|
|
8.
|
Pearls of functional algorithm design
by Bird, Richard. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Cambridge: Cambridge University Press, 2010Availability: Items available for loan: [Call number: 006.31 BIR] (1).
|
|
|
9.
|
Functional approach to programming
by Cousineau, Guy | Mauny, Michel. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Cambridge: Cambridge University Press, 1998Availability: Items available for loan: [Call number: 005.133 COU] (1).
|
|
|
10.
|
Steps in Scala : an introduction to object-functional programming
by Loverdos, Christos K. K | Syropoulos, Apostolos. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Cambridge: Cambridge University Press, 2010Availability: Items available for loan: [Call number: 005.114 LOV] (1).
|
|
|
11.
|
Functional thinking
by Ford, Neal. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Navi Mumbai: Shroff Publishers, 2014Availability: Items available for loan: [Call number: 005.114 FOR] (1).
|
