| 书目名称 | Generic and Indexed Programming | | 编辑 | Jeremy Gibbons | | 视频video | | | 概述 | Aims at doctoral students, researchers, and practitioners in programming languages and related areas.Covers various aspects of generic and indexed programming | | 丛书名称 | Lecture Notes in Computer Science | | 图书封面 |  | | 描述 | Generic programming is about making programs more widely applicable via exotic kinds of parametrization---not just along the dimensions of values or of types, but also of things such as the shape of data, algebraicstructures, strategies, computational paradigms, and so on. Indexed programming is a lightweight form of dependently typed programming, constraining flexibility by allowing one to state and check relationships between parameters: that the shapes of two arguments agree, that an encoded value matches some type, that values transmitted along a channel conform to the stated protocol, and so on. The two forces of genericity and indexing balance each other nicely, simultaneously promoting and controlling generality. The 5 lectures included in this book stem from the Spring School on Generic and Indexed Programming, held in Oxford, UK, in March 2010 as a closing activity of the generic and indexed programmingproject at Oxford which took place in the years 2006-2010. | | 出版日期 | Textbook 2012 | | 关键词 | bidirectional programming; category theory; functional programming; parametric polymorphism; type theory | | 版次 | 1 | | doi | https://doi.org/10.1007/978-3-642-32202-0 | | isbn_softcover | 978-3-642-32201-3 | | isbn_ebook | 978-3-642-32202-0Series ISSN 0302-9743 Series E-ISSN 1611-3349 | | issn_series | 0302-9743 | | copyright | Springer-Verlag Berlin Heidelberg 2012 |
The information of publication is updating
|
|
发表于 2025-3-21 16:50:02
