Type System Tutorial Paper? - CS版 - 未名存档

本页内容为未名空间相应帖子的节选和存档，一周内的贴子最多显示50字，超过一周显示500字访问原贴

CS版 - Type System Tutorial Paper?

相关主题
● 想系统学一门计算机语言，是学c呢，还是c++？	● Facebook Application用什么语言编呢？谢谢！
● HELP:change default language of winxp	● 问个regular language的问题
● 速成machine learning?	● UML tutorial
● How is this conference?	● 用word写paper有没有什么好的tutorial?
● 请 Ohio State Univ 的同学帮忙	● program language 这个方向现在如何
● 现在搞programming languages research的	● About Simics
● 谁能推荐一个计算driving direction算法的tutorial	● programming analysis ? programming language?
● [求]建议：初次与潜在老板谈话。	● dynamic languages 怎样更高地抽象？ (转载)

相关话题的讨论汇总
话题: paper话题: system话题: type

进入CS版参与讨论

1

(共1页)

T********r 发帖数: 6210	1 有没有什么比较好的介绍Type System的paper？有人倒是介绍了一本书 Types and Programming Languages by Benjamin C. Pierce，不过借书买书都太麻烦，想找一些tutorial性质的paper现读读看。
R****r 发帖数: 227	2 http://citeseer.ist.psu.edu/cardelli97type.html 最好入门的还是pierce的书【在 T********r 的大作中提到】 : 有没有什么比较好的介绍Type System的paper？有人倒是介绍了一本书 : Types and Programming Languages by Benjamin C. Pierce，不过借 : 书买书都太麻烦，想找一些tutorial性质的paper现读读看。

1

(共1页)

进入CS版参与讨论

相关主题
● dynamic languages 怎样更高地抽象？ (转载)	● 请 Ohio State Univ 的同学帮忙
● 救救我的计算机	● 现在搞programming languages research的
● Assembly Language	● 谁能推荐一个计算driving direction算法的tutorial
● RA in CS	● [求]建议：初次与潜在老板谈话。
● 想系统学一门计算机语言，是学c呢，还是c++？	● Facebook Application用什么语言编呢？谢谢！
● HELP:change default language of winxp	● 问个regular language的问题
● 速成machine learning?	● UML tutorial
● How is this conference?	● 用word写paper有没有什么好的tutorial?

相关话题的讨论汇总
话题: paper话题: system话题: type

未名新帖统计// 7月16日

#	版面	帖数(主题数)
-	全站	4871 (796)
1	Military	3777 (569)
2	Stock	341 (51)
3	Joke	117 (17)
4	History	116 (3)
5	Automobile	100 (9)
6	USANews	55 (9)
7	Midlife	45 (1)
8	Headline	41 (41)
9	Dreamer	33 (13)
10	FleaMarket	32 (20)
11	Living	30 (7)

* 这里只显示发帖超过25的版面，努力灌水吧:-)