Mr. G.的推荐 · · · · · · ( 全部 )
Mr. G.最近的blog文章 · · · · · ·
- 2009-06-17 08:00:00来自lambda lambda看到下面这篇文章，大名鼎鼎的Leslie Lamport写的。Lamport现在微软做并行分布式系统方面的理论研究。据说是一愤老头。还有传言说他因为太傲，拿不了图灵奖。 Should Your Specification L... (查看原文)
- 2009-05-15 08:00:00来自lambda lambda一个启动工具栏，Appetizer，挺不错的，虽然可以在不同的桌面上跑多个实例，但是却不能注册同一个快捷键，真是矛盾啊。 类别：Software 查看评论 (查看原文)
- 2009-04-13 08:00:00来自lambda lambdagoogle 技术讲座： Advanced topics in programming languages: Parametric Polymorphism and the Girard-Reynolds Isomorphism Phil Gossett 2007-4-18 http://video.google.com... (查看原文)
Mr. G.的评论 · · · · · · · · · · ( 全部 )
- 深入浅出
-
- Mr. G.(搞it的) 评论: Advanced Topics in Types and Programming Languages
PL领域的快速入门书, 综合了技术,理论,趣味. 每章的further reading也很帮助. 对pl感兴趣的同学一定要仔细读...... (1回应)
常居: 江苏苏州id: guoyu 2006-04-10加入  
Mr. G.的blog: lambda lambda(未认领) 三无人员
| ||
Mr. G.的广播 · · · · · · ( 全部 )
- 昨天
- 加入了The Big Bang Theory小组
- 12月1日
- 对苏州书网/火莲花“闲书架”活动感兴趣
- 要参加苏州书网/火莲花“闲书架”活动
- 11月29日
- 加入了陆龟界小组
Mr. G.的朋友(86) · · · · · · ( 全部 )
Mr. G.的同城活动 · · · · · · ( 1个感兴趣 )
Mr. G.参加的小组(38) · · · · · · ( 全部 )
- 独墅湖生活 (401)
- 苏州豆瓣 (4914)
- 逻辑 (6141)
- 苏州豆瓣薪火委员会 (340)
- 苏州杀人 (208)
- 豆瓣fans (9520)
- 自我通识教育 (2979)
- 苏州借书会 (1093)
留言板 (试验中) · · · · · · ( 全部 )
Mr. G.关注的迷你站(1) · · · · · ·
本页永久链接: http://www.douban.com/people/guoyu/
订阅Mr. G.的收藏:
feed: rss 2.0