000			00804cam a22002054a 4500
005			20250605163959.0
008			250528s ||||||||||||||||||||||||d
035			_a15569
020			_a134841972
040			_aGR-AtMCL _bgre _dGR-AtMCL _eAACR2
245	1		_aIntroduction to Functional Programming
260			_bPrentice Hall, _c1988
300			_a296
520			_aThe book emphasizes and develops important mathematical techniques for reasoning about programs and for deriving programs from their specifications. Preface, Fundamental Concepts, Basic Data Types, Lists, Examples, Recursion and Induction, Efficiency, Infinite Lists, New Types, Trees, Bibliography, Index.
700	1		_aBird Richard _91520
700	1		_aWadler Philip _91521
942			_cBK
999			_c1139 _d1139