|
" Generic Programming Ifip Tc2 "
Wg2.1 Working Conference Programming July 11-12, 2002, Dagstuhl, Germany.
| Document Type
|
:
|
BL
|
| Record Number
|
:
|
737796
|
| Doc. No
|
:
|
b557671
|
| Main Entry
|
:
|
Wg2.1 Working Conference Programming July 11-12, 2002, Dagstuhl, Germany.
|
| Title & Author
|
:
|
Generic Programming Ifip Tc2\ Wg2.1 Working Conference Programming July 11-12, 2002, Dagstuhl, Germany.
|
| Publication Statement
|
:
|
Springer-Verlag New York Inc, 2013
|
| ISBN
|
:
|
038735672X
|
|
|
:
|
: 9780387356723
|
| Contents
|
:
|
Preface. Acknowledgements. Generic Programming within Dependently Typed Programming; T. Altenkirch, C. McBride. Generic Haskell, Specifically; D. Clarke, A. Loeh. Generic Accumulations; A. Pardo. A Generic Algorithm for Minimum Chain Partitioning; S.A. Curtis. Concrete Generic Functionals; R.T. Boute. Discussion: The Role of Types in Generic Programming. Making the Usage of STL Safe; D. Gregor, S. Schupp. Static Data Structures; M. Burton, W. Griswold, A. McCulloch, G. Huber. Adaptive Extensions of Object-Oriented Systems; O. Seng, T. Genssler, B. Schulz. Complete Traversals as General Iteration Patterns; W. Klostermeyer, D. Musser, A. Sanchez-Ruiz. Efficient Implementation of Run-time Generic Types for Java; E. Allen, R. Cartwright, B. Stoler. Discussion: Views of Genericity.
|
| Added Entry
|
:
|
Gibbons, Jeremy; Jeuring, Johan
|
| |