| 書(shū)目名稱(chēng) | Generic and Indexed Programming | | 編輯 | Jeremy Gibbons | | 視頻video | http://file.papertrans.cn/383/382389/382389.mp4 | | 概述 | Aims at doctoral students, researchers, and practitioners in programming languages and related areas.Covers various aspects of generic and indexed programming | | 叢書(shū)名稱(chēng) | Lecture Notes in Computer Science | | 圖書(shū)封面 |  | | 描述 | 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 | | 關(guān)鍵詞 | 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
|
|
|Archiver|手機(jī)版|小黑屋|
派博傳思國(guó)際
( 京公網(wǎng)安備110108008328)
GMT+8, 2025-10-11 20:42
發(fā)表于 2025-3-21 16:50:02
