هاسكل

حساب لامدا (Lambda Calculus) وأصول البرمجة الوظيفية: من نظرية ألونزو تشيرش إلى Lisp وHaskell