程序设计语言理论(lambda 演算,函数式编程) 相关资料


1. g9yuanyon's blog:
 翻译了一系列Lambda calculus 的文章,非常通俗,且有部分八卦。也有对原文少量的补充资料。

2. MarkCC' blog Good Math Bad Math: 
这里有g9翻译文章的原文,后面几篇g9没有翻译,不过非常有启发性

http://goodmath.blogspot.com/2006/06/lamda-calculus-index.html

上面的地址被和谐了,这里有一个没有和谐的

http://scientopia.org/blogs/goodmath/


3. 刘未鹏的文章: 托尔、哥德尔、图灵——永恒的金色对角线
写的很通俗。会提到lambda演算,还有图灵机,哥德尔不完备性定理,康托对角线法。重点在写他们之间的联系。
http://mindhacks.cn/2006/10/15/cantor-godel-turing-an-eternal-golden-diagonal/

4. Achim Jung.  A short introduction to the Lambda Calculus .
对lambda演算的介绍,有10页。可以和上面的两个对照着看。

5. Peter Selinger .Lecture notes on the lambda calculus.
关于lambda calculus的一份106页的讲义,是它在大学教授lambda演算时使用的。中科院的《程序设计语言理论》课讲授的内容,理论部分主要来自这份讲义。
Abstract : This is a set of lecture notes that developed out of courses on the lambda calculus that I taught at the University of Ottawa in 2001 and at Dalhousie University in 2007. Topics covered in these notes include the untyped lambda calculus, the Church-Rosser theorem, combinatory algebras, the simply-typed lambda calculus, the Curry-Howard isomorphism, weak and strong normalization, type inference, denotational semantics, complete partial orders, and the language PCF.

6. 张昱. 程序设计语言理论
中科院软件所张昱老师教授《程序设计语言理论》的课程主页: http://lcs.ios.ac.cn/~yzhang/fopl/
主要讲授程序设计语言的理论以及Haskell编程。


转载于:https://www.cnblogs.com/Iambda/archive/2012/12/04/3933511.html

评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值