由买买提看人间百态

boards

本页内容为未名空间相应帖子的节选和存档,一周内的贴子最多显示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算法的tutorialprogramming 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