from mathematics to software engineering: introducing category theory     into the computer science curriculum

	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)
会议录名称	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
页码	469-476
会议日期	MAY 27-30,
会议地点	Beijing, PEOPLES R CHINA
出版地	HEIDELBERGER PLATZ 3, D-14197 BERLIN, GERMANY
出版者	Computational Science - ICCS 2007, Pt 3, Proceedings
ISSN	0302-9743
ISBN	978-3-540-72587-9
部门归属	Chinese Acad Sci, Inst Software, Beijing 100080, Peoples R China.
摘要	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
关键词	Computer Programming Languages Curricula Teaching
主办者	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
内容类型	会议论文
URI标识	http://ir.iscas.ac.cn/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]. HEIDELBERGER PLATZ 3, D-14197 BERLIN, GERMANY:Computational Science - ICCS 2007, Pt 3, Proceedings,2007:469-476.

条目包含的文件
文件名称/大小	文献类型	版本类型	开放类型	使用许可
introducing category（451KB）			开放获取	--	请求全文