An Introduction to Functional Programming Through Lambda Calculus 豆 8.7分

资源最后更新于 2020-10-28 12:17:19

作者：Greg Michaelson

出版社：Dover Publications

出版日期：2011-01

ISBN：9780486478838

文件格式： pdf

标签： 函数式编程 LambdaCalculus FunctionalProgramming 计算机科学 FP 编程 Programming 计算机语言

简介· · · · · ·

This well-respected text offers an accessible introduction to functional programming concepts and techniques for students of mathematics and computer science. The treatment is as nontechnical as possible, assuming no prior knowledge of mathematics or functional programming. Numerous exercises appear throughout the text, and all problems feature complete solutions. 1989 edition....