位置：成果数据库 > 会议 > 会议详情页
Polymorphic Functions with Set-Theoretic Types
  • 所属机构名称：中国科学院软件研究所
  • 会议名称：2014 ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages
  • 时间：2014.1.1
  • 成果类型：会议
  • 相关项目：无秩树结构数据和语义多态类型系统的研究
作者： Guiseppe Castagna|Kim Nguyen|Zhiwu Xu|Hyeonseung Im|Sergeui Lenglet|Luca Padovani|
同会议论文项目
无秩树结构数据和语义多态类型系统的研究
期刊论文 6 会议论文 7
同项目会议论文
Deciding determinism of unary languages is coNP-complete
Determinacy and rewriting of conjunctive queries over unary database schemas
Set-theoretic Foundation of Parametric Polymorphism and Subtyping
Checking Determinism of Regular Expressions with Counting
Derivatives of Regular Expressions and an Application
Assisting the Design of XML Schema: Diagnosing Nondeterministic Content Models