Your search returned 4 results.

Results
		Adapting proofs-as-program: the curry-howard protocol by Poernomo, Iman Hafiz Martin, Wirsing John, Newsome Crossley Series: (Monographs in computer science) Publication details: USA Springer 2005 Availability: Items available for loan: University Library (1)Call number: 004.422 POE. Place hold Add to cart (remove)
		No cover image available Introduction to functional programming by Bird, Richard Walder, Philip Publication details: New York Prentice-Hall of India 1988 Availability: Items available for loan: University Library (1)Call number: 004.432.42 BIR. Place hold Add to cart (remove)
		Expert F# 2.0 Don Syme, Adam Granicz and Antonio Cisternino by Syme, Don Granicz, Adam Cisternino, Antonio Publication details: New Delhi Springer 2010 Availability: Items available for loan: University Library (1)Call number: 004.432.42F# SYM. Place hold Add to cart (remove)
		Metaprogramming in R advanced statistical programming for data science, analysis, and finance by Mailund, Thomas Publication details: India Apress 2018 Availability: Items available for loan: University Library (1)Call number: 519.23:004.43R MAI/M. Place hold Add to cart (remove)

Refine your search