机构

• 心理研究所 [2]
• 软件研究所 [2]

采集方式

• OAI收割 [4]

内容类型

• 会议论文 [4]

发表日期

• 2014 [1]
• 2011 [1]
• 2010 [2]

学科主题

• Computer S... [1]
• 发展心理学 [1]

筛选

浏览/检索结果: 共4条，第1-4条 帮助 限定条件 内容类型：会议论文     条数/页： 5101520253035404550556065707580859095100 排序方式： 请选择提交时间升序提交时间降序题名升序题名降序作者升序作者降序发表日期升序发表日期降序 Polymorphic functions with set-theoretic types - Part 1: Syntax, semantics, and evaluation 会议论文  OAI收割 41st Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2014, San Diego, CA, United states, January 22, 2014 - January 24, 2014 Castagna, Giuseppe (1); Nguyen, Kim (2); Xu, Zhiwu (1); Im, Hyeonseung (2); Lenglet, Sergueï; (4); Padovani, Luca (5)   |  收藏  |  浏览/下载：16/0  |  提交时间：2014/12/16 Types  polymorphism  XML  intersection types   set-theoretic foundation of parametric polymorphism and subtyping 会议论文  OAI收割 16th ACM SIGPLAN International Conference on Functional Programming, ICFP'11, Tokyo, Japan, September Castagna Giuseppe; Xu Zhiwu   |  收藏  |  浏览/下载：15/0  |  提交时间：2013/10/08 Computer programming languages  Recursive functions   Association between creativity and COMT genotype 会议论文  OAI收割 2010 4th International Conference on Bioinformatics and Biomedical Engineering, Chengdu, China, 2010 作者:  Shi JN(施建农) 收藏  |  浏览/下载：19/0  |  提交时间：2012/09/08 creative ability  creative potential  Catechol-O-methyl transferase (COMT)  functional polymorphism   Association between intelligence and COMT genotypes in Chinese healthy children 会议论文  OAI收割 4th International Conference on Bioinformatics and Biomedical Engineering, Chengdu, China, 2010 作者:  Shi JN(施建农) 收藏  |  浏览/下载：10/0  |  提交时间：2012/09/08 Intelligence  Catechol-O-methyl transferase (COMT)  functional polymorphism