Generic Programming: Advanced Lectures

封面
Roland C. Backhouse, Jeremy Gibbons
Springer Science & Business Media, 2003年9月29日 - 221 頁

Generic programming attempts to make programming more efficient by making it more general. This book is devoted to a novel form of genericity in programs, based on parameterizing programs by the structure of the data they manipulate.

The book presents the following four revised and extended chapters first given as lectures at the Generic Programming Summer School held at the University of Oxford, UK in August 2002:

- Generic Haskell: Practice and Theory

- Generic Haskell: Applications

- Generic Properties of Datatypes

- Basic Category Theory for Models of Syntax

 

內容

Practice and Theory
1
Generic HaskellPractice
22
Generic HaskellTheory
35
Conclusion
52
Generic Dictionaries
62
A Generic XML Compressor
77
The Zipper
85
Conclusions
93
Conclusion
131
Category Theory
139
Appendix
170
A Mathematical Semantics for Architectural Connectors
178
Architectural Description in CommUnity
191
An ADLIndependent Notion of Connector
201
Towards an Algebra of Connectors
213
Concluding Remarks
219

Allegories and Relators
109
Commuting Datatypes Formal Specification
125

其他版本 - 查看全部

常見字詞

書目資訊