|
|
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.
|
Concepts of Programming Languages
by Sebesta, Robert W. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Delhi: Addison-Wesley, 1999Availability: Items available for loan: [Call number: 005.13 SEB] (4).
|
|
|
5.
|
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).
|
|
|
6.
|
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).
|
|
|
7.
|
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).
|
|
|
8.
|
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).
|
|
|
9.
|
Two-level functional languages
by Nielson, Flemming | Nielson, Hanne Riis. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Cambridge: Cambridge University Press, 2005Availability: Items available for loan: [Call number: 005.13 NIE] (1).
|
|
|
10.
|
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).
|
|
|
11.
|
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).
|
|
|
12.
|
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).
|
|
|
13.
|
Theory of computation
by Tourlakis, George. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Hoboken: Wiley, 2012Availability: Items available for loan: [Call number: 511.352 TOU] (1).
|
|
|
14.
|
Foundations of F#
by Pickering, Robert. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Berkeley: Apress, 2007Availability: Items available for loan: [Call number: 005.133 PIC] (1).
|
|
|
15.
|
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).
|
|
|
16.
|
Haskell school of music : from signals to symphonies
by Hudak, Paul | Quick, Donya. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Cambridge : Cambridge University Press, 2018Availability: Items available for loan: [Call number: 781.345133 HUD] (1).
|
|
|
17.
|
Introduction to computation : Haskell, logic and automata
by Sannella, Donald | Fourman, Michael | Peng, Haoran | Wadler, Philip. Publisher: Cham : Springer, 2021Availability: Items available for loan: [Call number: 511.3 SAN] (1).
|
|
|
18.
|
Introduction to python programming
by S,. Gowrishankar | A., Veena. Publisher: Boca Raton : CRC Press, 2019Availability: Items available for loan: [Call number: 005.133 SGO] (1).
|
