|
以文本方式查看主题 - 计算机科学论坛 (http://bbs.xml.org.cn/index.asp) -- 『 理论计算机科学 』 (http://bbs.xml.org.cn/list.asp?boardid=64) ---- 有关类型系统的入门 (http://bbs.xml.org.cn/dispbbs.asp?boardid=64&rootid=&id=23512) |
|
-- 作者：shaoshao -- 发布时间：10/24/2005 9:19:00 PM -- 有关类型系统的入门 目前完成了BPEL4WS程序到pi演算的映射（对纯pi演算作了一点点扩展） 现在想加入类型系统，想做到不同协议的互通信，pi演算的名字完全匹配太局限了，也想思想程序的替换（通道的替换） 但是目前对类型系统一窍不通 ，想请对这方面有了解的老师指导一下，我想先学习一下类型系统的理论基础，再来用也不迟。麻烦各位推荐一些学习资料，minler的文章 the polyadic pi calculus：a tutorial 已经有了 不知道这个作为开始研究pi演算上的类型系统入门资料 行不行？ 谢谢 ^_^ |
|
-- 作者：zhaoming -- 发布时间：11/8/2005 8:25:00 AM -- 我对类型理论不了解,印象最近有本引进国外的教材是讲类型论的,是不是先系统学习一下? |
|
-- 作者：shaoshao -- 发布时间：11/8/2005 10:04:00 AM -- 谢谢了喔 现在看David turner ，Sangiorgi等人的文章 |
|
-- 作者：zyding -- 发布时间：12/20/2005 11:42:00 PM -- 类型系统是计算机科学先进的研究方向之一，国外已经有很丰富的研究成果 |
|
-- 作者：dcbeyond -- 发布时间：2/23/2006 11:01:00 PM -- pi演算应该是类型理论设计并发内容的理论吧。 我是学类型论的，但所涉及的内容还没有用到该内容。国内做这方面的人屈指可数，所以大家一定要多交流。 |
|
-- 作者：admin -- 发布时间：2/24/2006 12:51:00 AM -- 关于pi calculus，Web Services版也有讨论：http://bbs.w3china.org/list.asp?boardid=10 |
|
-- 作者：shaoshao -- 发布时间：2/24/2006 9:38:00 AM -- 目前有了些进展 偶要毕业了 师弟用往web服务兼容性 可替换性等等方面研究 我的邮箱：qiaochu1013@tom.com |
|
-- 作者：mmmyddd -- 发布时间：2/26/2006 7:59:00 PM -- 现在市面上有一本类型理论的教程，忘了叫什么了 |
|
-- 作者：shaoshao -- 发布时间：2/27/2006 9:48:00 AM -- 《类型和程序设计语言》是不是这本？ Benjamin C.Pierce的 马世龙等翻译 电子工业出版社 |
|
-- 作者：lrs0623 -- 发布时间：2/27/2006 9:58:00 AM -- 研究类型理论的请加我QQ 258920025 |
|
-- 作者：mmmyddd -- 发布时间：2/27/2006 10:27:00 AM -- yes |
|
-- 作者：兴宣大院君 -- 发布时间：3/27/2006 2:30:00 AM -- 有点复杂 |
|
-- 作者：gzkepfv -- 发布时间：3/29/2006 2:02:00 PM -- 研究类型理论 |
|
-- 作者：gzkepfv -- 发布时间：3/29/2006 2:02:00 PM -- 研究类型理论 |
|
-- 作者：shaoshao -- 发布时间：3/30/2006 10:12:00 AM -- 没事大家一起讨论 终于把论文装订出来了 被格式搞疯了 |
|
-- 作者：linrd -- 发布时间：4/2/2006 10:30:00 AM -- 引进的那本书以及原版我都读过，后来我觉得先读范畴论再读那本理解的程度更好些。还有一本"Advanced topics in types and programming languages"可能有一些前沿的东西。可国家图书馆也没有此书。如哪位有此书的draft版，不妨与大家共享。 |
|
-- 作者：accueil -- 发布时间：11/21/2006 6:01:00 PM -- 《Advanced topics in types and programming languages》没有draft版，英文版的我倒是复印了一份。《types and programming languages》这本是有draft的，我以前download过一份，不过现在中文版都出了，就没有必要用draft版了，因为draft版当时还漏了很多内容没有写。 |
|
-- 作者：polymorphism -- 发布时间：12/3/2006 3:26:00 PM -- 吼一声 有没有做类型系统方向的 认识认识 |
|
-- 作者：Logician -- 发布时间：12/3/2006 10:36:00 PM -- Hi! 你是以前小百合CompLang上的那个polymorphism吗？ |
|
-- 作者：polymorphism -- 发布时间：12/4/2006 4:53:00 PM -- Hi, logician, 你应该是xiaoxinpan吧? 呵呵 |
|
-- 作者：Logician -- 发布时间：12/4/2006 5:56:00 PM -- 对。^_^ |
|
-- 作者：GaloisAbel -- 发布时间：6/13/2007 4:02:00 AM -- 《类型和程序设计语言》是不是这本？ Benjamin C.Pierce 不知道下学期能不能上的伊的课 不过折本书和 foundations for programming language比就很浅了 ps，我一直以为 type theory就是higher order logic |
|
W 3 C h i n a ( since 2003 ) 旗 下 站 点 苏ICP备05006046号《全国人大常委会关于维护互联网安全的决定》《计算机信息网络国际联网安全保护管理办法》 |
108.887ms |