(函数式语言的实现)Implementation of functional languages PDF+EPUB+MOBI电子书下载

作者:Thomas Arts

出版社:Springer

副标题:13th International Workshop, IFL 2001 Stockholm, Sweden, September 24-26, 2001 Selected Papers (Lecture Notes in Computer Science)

出版年:2002-05-03

页数:185

定价:542.40元

装帧:Paperback

ISBN:9783540435372

内容摘要

在线阅读书籍

本书是2001年9月在瑞典斯德哥尔摩举行的第13届功能语言实施国际讲习班(IFL 2001)经过全面审阅的后续工作,所提交的11篇修改后的全文经过了彻底的讲习班后审查,选自28篇论文讲习班。所涵盖的主题是功能语言实现和使用的相关方面,如类型系统、编译、程序优化、定理证明、程序正确性、程序分析、并行编译器、子类型和通用编程。

Tag标签: 函数式
PDF下载 EPUB下载 MOBI下载