Your search returned 4 results.

Results
	1.	Introduction to the art of programming using Scala Mark C. Lewis. by Lewis, Mark C [author.] Series: Chapman & Hall/CRC textbooks in computing Material type: Text; Format: print ; Literary form: Not fiction Publication details: Boca Raton: CRC Press; 2013 Availability: Items available for loan: Goa University Library (1)Call number: 005.114 LEW/Int. Add to cart (remove)
	2.	Type theory and formal proof :an introduction Rob Nederpelt, Eindhoven University of Technology, the Netherlands, Herman Geuvers, Radbound University Nijmegen, and Eindhoven University of Technology, the Netherlands. by Nederpelt, R. P [author.] Geuvers, Herman [author.] Material type: Text; Format: print ; Literary form: Not fiction Publication details: Cambridge: Cambridge University Press; Availability: Items available for loan: Goa University Library (1)Call number: 501 NED-GEU. Add to cart (remove)
	3.	Type theory and formal proof :an introduction Rob Nederpelt, Eindhoven University of Technology, the Netherlands, Herman Geuvers, Radbound University Nijmegen, and Eindhoven University of Technology, the Netherlands. by Nederpelt, R. P [author.] Geuvers, Herman [author.] Material type: Text; Format: print ; Literary form: Not fiction Publication details: Cambridge: Cambridge University Press; 2014 Availability: Items available for loan: Goa University Library (1)Call number: 511.3 NED-GEU. Add to cart (remove)
	4.	Thinking functionally with Haskell by Bird, Richard Material type: Text; Format: print ; Literary form: Not fiction Publication details: UK: Cambridge University Press; 2015 Availability: Items available for loan: Goa University Library (1)Call number: 005.114 BIR/Thi. Add to cart (remove)

Powered by Koha