中国科学院机构知识库网格
Chinese Academy of Sciences Institutional Repositories Grid
from mathematics to software engineering: introducing category theory into the computer science curriculum

文献类型:会议论文

作者Zheng Yujun ; Shi Haihe ; Xue Jinyun
出版日期2007
会议名称7th International Conference on Computational Science (ICCS 2007)
会议日期MAY 27-30,
会议地点Beijing, PEOPLES R CHINA
关键词Computer programming languages Curricula Teaching
页码469-476
英文摘要Category theory, with its increasing role in computer science, has proved useful in the investigation of programming languages and other theoretical aspects of software engineering. As a bridge-building exercise, we introduce the category theo
会议主办者Chinese Acad Sci Res Ctr Data Technol & Knowledge Econ, AMID, Springer, World Sci Publishing, Univ Nebraska Omaha, CAS, Grad Univ, Chinese Acad Sci, Univ Amsterdam, Inst Policy & Management
会议录Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
会议录出版者Computational Science - ICCS 2007, Pt 3, Proceedings
会议录出版地HEIDELBERGER PLATZ 3, D-14197 BERLIN, GERMANY
ISSN号0302-9743
ISBN号978-3-540-72587-9
源URL[http://124.16.136.157/handle/311060/10834]  
专题软件研究所_计算机科学国家重点实验室 _会议论文
推荐引用方式
GB/T 7714
Zheng Yujun,Shi Haihe,Xue Jinyun. from mathematics to software engineering: introducing category theory into the computer science curriculum[C]. 见:7th International Conference on Computational Science (ICCS 2007). Beijing, PEOPLES R CHINA. MAY 27-30,.

入库方式: OAI收割

来源:软件研究所

浏览0
下载0
收藏0
其他版本

除非特别说明,本系统中所有内容都受版权保护,并保留所有权利。