新书推介：《语义网技术体系》
作者：瞿裕忠，胡伟，程龚
   XML论坛     W3CHINA.ORG讨论区     计算机科学论坛     SOAChina论坛     Blog     开放翻译计划     新浪微博  
 
  • 首页
  • 登录
  • 注册
  • 软件下载
  • 资料下载
  • 核心成员
  • 帮助
    		•   Add to Google

    >> It is the theory that decides what can be observed. - Albert Einstein
    [返回] 中文XML论坛 - 专业的XML技术讨论区 → 计算机理论与工程 → 『 理论计算机科学 』 → 有关类型系统的入门 ◇查看新帖 ◇ 用户列表 ◇

      发表一个新主题  发表一个新投票  回复主题  (订阅本版) 您是本帖的第 30033 个阅读者浏览上一篇主题  刷新本主题   树形显示贴子　浏览下一篇主题
     * 贴子主题： 有关类型系统的入门 举报  打印  推荐  IE收藏夹 
       本主题类别:     
     shaoshao 美女呀，离线，快来找我吧！
      
      
      等级：大一新生
      文章：9
      积分：89
      门派：XML.ORG.CN
      注册：2004/10/11

    姓名：(无权查看)
    城市：(无权查看)
    院校：(无权查看)
    给shaoshao发送一个短消息 把shaoshao加入好友 查看shaoshao的个人资料 搜索shaoshao在『 理论计算机科学 』的所有贴子 引用回复这个贴子 回复这个贴子 查看shaoshao的博客楼主
    发贴心情 有关类型系统的入门

    目前完成了BPEL4WS程序到pi演算的映射（对纯pi演算作了一点点扩展）

    现在想加入类型系统，想做到不同协议的互通信，pi演算的名字完全匹配太局限了，也想思想程序的替换（通道的替换）

    但是目前对类型系统一窍不通 ，想请对这方面有了解的老师指导一下，我想先学习一下类型系统的理论基础，再来用也不迟。麻烦各位推荐一些学习资料，minler的文章 the polyadic pi calculus：a tutorial 已经有了 不知道这个作为开始研究pi演算上的类型系统入门资料 行不行？

    谢谢 ^_^


       收藏   分享  
    顶(0)
      




    点击查看用户来源及管理<br>发贴IP：*.*.*.* 2005/10/24 21:19:00
     
     zhaoming 帅哥哟，离线，有人找我吗？
      
      
      等级：大二期末(数据结构考了98分!)
      文章：50
      积分：360
      门派：XML.ORG.CN
      注册：2005/4/22

    姓名：(无权查看)
    城市：(无权查看)
    院校：(无权查看)
    给zhaoming发送一个短消息 把zhaoming加入好友 查看zhaoming的个人资料 搜索zhaoming在『 理论计算机科学 』的所有贴子 引用回复这个贴子 回复这个贴子 查看zhaoming的博客第2楼
    发贴心情 
    我对类型理论不了解,印象最近有本引进国外的教材是讲类型论的,是不是先系统学习一下?
    点击查看用户来源及管理<br>发贴IP：*.*.*.* 2005/11/8 8:25:00
     
     shaoshao 美女呀，离线，快来找我吧！
      
      
      等级：大一新生
      文章：9
      积分：89
      门派：XML.ORG.CN
      注册：2004/10/11

    姓名：(无权查看)
    城市：(无权查看)
    院校：(无权查看)
    给shaoshao发送一个短消息 把shaoshao加入好友 查看shaoshao的个人资料 搜索shaoshao在『 理论计算机科学 』的所有贴子 引用回复这个贴子 回复这个贴子 查看shaoshao的博客第3楼
    发贴心情 
    谢谢了喔  现在看David turner ，Sangiorgi等人的文章
    点击查看用户来源及管理<br>发贴IP：*.*.*.* 2005/11/8 10:04:00
     
     zyding 帅哥哟，离线，有人找我吗？
      
      
      等级：大一新生
      文章：1
      积分：59
      门派：XML.ORG.CN
      注册：2005/12/20

    姓名：(无权查看)
    城市：(无权查看)
    院校：(无权查看)
    给zyding发送一个短消息 把zyding加入好友 查看zyding的个人资料 搜索zyding在『 理论计算机科学 』的所有贴子 引用回复这个贴子 回复这个贴子 查看zyding的博客第4楼
    发贴心情 
    类型系统是计算机科学先进的研究方向之一，国外已经有很丰富的研究成果
    点击查看用户来源及管理<br>发贴IP：*.*.*.* 2005/12/20 23:42:00
     
     dcbeyond 帅哥哟，离线，有人找我吗？
      
      
      等级：大一新生
      文章：0
      积分：54
      门派：XML.ORG.CN
      注册：2006/2/23

    姓名：(无权查看)
    城市：(无权查看)
    院校：(无权查看)
    给dcbeyond发送一个短消息 把dcbeyond加入好友 查看dcbeyond的个人资料 搜索dcbeyond在『 理论计算机科学 』的所有贴子 引用回复这个贴子 回复这个贴子 查看dcbeyond的博客第5楼
    发贴心情 
    pi演算应该是类型理论设计并发内容的理论吧。
    我是学类型论的，但所涉及的内容还没有用到该内容。国内做这方面的人屈指可数，所以大家一定要多交流。
    点击查看用户来源及管理<br>发贴IP：*.*.*.* 2006/2/23 23:01:00
     
     admin 帅哥哟，离线，有人找我吗？
      
      
      
      威望：9
      头衔：W3China站长
      等级：计算机硕士学位(管理员)
      文章：5255
      积分：18406
      门派：W3CHINA.ORG
      注册：2003/10/5

    姓名：(无权查看)
    城市：(无权查看)
    院校：(无权查看)
    给admin发送一个短消息 把admin加入好友 查看admin的个人资料 搜索admin在『 理论计算机科学 』的所有贴子 点击这里发送电邮给admin  访问admin的主页 引用回复这个贴子 回复这个贴子 查看admin的博客第6楼
    发贴心情 
    关于pi calculus，Web Services版也有讨论：http://bbs.w3china.org/list.asp?boardid=10

    ----------------------------------------------

    -----------------------------------------------

    第十二章第一节《用ROR创建面向资源的服务》
    第十二章第二节《用Restlet创建面向资源的服务》
    第三章《REST式服务有什么不同》
    InfoQ SOA首席编辑胡键评《RESTful Web Services中文版》
    [InfoQ文章]解答有关REST的十点疑惑

    点击查看用户来源及管理<br>发贴IP：*.*.*.* 2006/2/24 0:51:00
     
     shaoshao 美女呀，离线，快来找我吧！
      
      
      等级：大一新生
      文章：9
      积分：89
      门派：XML.ORG.CN
      注册：2004/10/11

    姓名：(无权查看)
    城市：(无权查看)
    院校：(无权查看)
    给shaoshao发送一个短消息 把shaoshao加入好友 查看shaoshao的个人资料 搜索shaoshao在『 理论计算机科学 』的所有贴子 引用回复这个贴子 回复这个贴子 查看shaoshao的博客第7楼
    发贴心情 
    目前有了些进展  偶要毕业了 师弟用往web服务兼容性 可替换性等等方面研究
    我的邮箱：qiaochu1013@tom.com
    点击查看用户来源及管理<br>发贴IP：*.*.*.* 2006/2/24 9:38:00
     
     mmmyddd 帅哥哟，离线，有人找我吗？
      
      
      等级：大一(高数修炼中)
      文章：15
      积分：136
      门派：XML.ORG.CN
      注册：2006/2/26

    姓名：(无权查看)
    城市：(无权查看)
    院校：(无权查看)
    给mmmyddd发送一个短消息 把mmmyddd加入好友 查看mmmyddd的个人资料 搜索mmmyddd在『 理论计算机科学 』的所有贴子 引用回复这个贴子 回复这个贴子 查看mmmyddd的博客第8楼
    发贴心情 
    现在市面上有一本类型理论的教程，忘了叫什么了
    点击查看用户来源及管理<br>发贴IP：*.*.*.* 2006/2/26 19:59:00
     
     shaoshao 美女呀，离线，快来找我吧！
      
      
      等级：大一新生
      文章：9
      积分：89
      门派：XML.ORG.CN
      注册：2004/10/11

    姓名：(无权查看)
    城市：(无权查看)
    院校：(无权查看)
    给shaoshao发送一个短消息 把shaoshao加入好友 查看shaoshao的个人资料 搜索shaoshao在『 理论计算机科学 』的所有贴子 引用回复这个贴子 回复这个贴子 查看shaoshao的博客第9楼
    发贴心情 
    《类型和程序设计语言》是不是这本？ Benjamin C.Pierce的 马世龙等翻译 电子工业出版社
    点击查看用户来源及管理<br>发贴IP：*.*.*.* 2006/2/27 9:48:00
     
     lrs0623 帅哥哟，离线，有人找我吗？
      
      
      等级：大一新生
      文章：6
      积分：78
      门派：XML.ORG.CN
      注册：2005/6/16

    姓名：(无权查看)
    城市：(无权查看)
    院校：(无权查看)
    给lrs0623发送一个短消息 把lrs0623加入好友 查看lrs0623的个人资料 搜索lrs0623在『 理论计算机科学 』的所有贴子 引用回复这个贴子 回复这个贴子 查看lrs0623的博客第10楼
    发贴心情 
    研究类型理论的请加我QQ 258920025
    点击查看用户来源及管理<br>发贴IP：*.*.*.* 2006/2/27 9:58:00
     
     GoogleAdSense
      
      
      等级：大一新生
      文章：1
      积分：50
      门派：无门无派
      院校：未填写
      注册：2007-01-01
    给Google AdSense发送一个短消息 把Google AdSense加入好友 查看Google AdSense的个人资料 搜索Google AdSense在『 理论计算机科学 』的所有贴子 访问Google AdSense的主页 引用回复这个贴子 回复这个贴子 查看Google AdSense的博客广告
    2024/6/17 17:49:33

    本主题贴数22，分页： [1] [2] [3]

    管理选项： 修改tag | 锁定 | 解锁 | 提升 | 删除 | 移动 | 固顶 | 总固顶 | 奖励 | 惩罚 | 发布公告
    W3C Contributing Supporter! W 3 C h i n a ( since 2003 ) 旗 下 站 点
    苏ICP备05006046号《全国人大常委会关于维护互联网安全的决定》《计算机信息网络国际联网安全保护管理办法》
    		 93.750ms