The proceedings contain 12 papers. The special focus in this conference is on genericprogramming. The topics include: genericprogramming within dependently typed programming;generic accumulations;a generic algorithm...
ISBN:
(纸本)9781475753202
The proceedings contain 12 papers. The special focus in this conference is on genericprogramming. The topics include: genericprogramming within dependently typed programming;generic accumulations;a generic algorithm for minimum chain partitioning;concrete generic functionals;the role of types in genericprogramming;making the usage of STL safe;static data structures;adaptive extensions of object-oriented systems;complete traversals as general iteration patterns and efficient implementation of run-time generic types for Java.
genericprogramming is about making programs more adaptable by making them more general. generic programs often embody non-traditional kinds of polymorphism; ordinary programs are obtained from them by suitably instan...
ISBN:
(纸本)9781475753202
genericprogramming is about making programs more adaptable by making them more general. generic programs often embody non-traditional kinds of polymorphism; ordinary programs are obtained from them by suitably instantiating their parameters. In contrast with normal programs, the parameters of a generic program are often quite rich in structure; for example, they may be other programs, types or type constructors, class hierarchies, or even programming paradigms. genericprogramming techniques have always been of interest, both to practitioners and to theoreticians, but only recently have genericprogramming techniques become a specific focus of research in the functional and object-oriented programming language communities. genericprogramming comprises the edited proceedings of the workingconference on genericprogramming, which was sponsored by the International Federation for Information Processing (ifip) and held in Dagstuhl, Germany in July 2002. With contributions from leading researchers around the world, this volume captures the state of the art in this important emerging area.
This presents a generic algorithm to obtain a minimum sized partition of a partially ordered set into chains. The algorithm is illustrated with three examples, including a novel box stacking problem and solution. ...
详细信息
generic design is not only pertinent to programs, but a fortiori to declarative formalisms as well, and the ensuing generalizations often benefit programming. In the considered framework, generality is obtained by (re...
详细信息
Accumulations are recursive functions that keep intermediate results in additional parameters which are eventually used in later stages of the computation. We present a generic definition of accumulations obtained by ...
详细信息
ISBN:
(纸本)1402073747
Accumulations are recursive functions that keep intermediate results in additional parameters which are eventually used in later stages of the computation. We present a generic definition of accumulations obtained by the introduction of a new recursive operator on inductive types. We also show that the notion of downwards accumulation developed by Gibbons is subsumed by our notion of accumulation.
We show how higher kinded genericprogramming can be represented faithfully within a dependently typed programming system. This development has been implemented using the OLEG system. The present work can be seen as e...
ISBN:
(纸本)1402073747
We show how higher kinded genericprogramming can be represented faithfully within a dependently typed programming system. This development has been implemented using the OLEG system. The present work can be seen as evidence for our thesis that extensions of type systems can be done by programming within a dependently typed language, using data as codes for types.
generic HVSKELL exploits the promising new incarnation of genericprogramming due to Hinze. Apart from extending the programming language Haskell, Hinze-style polytypism offers a simple approach to defining generic fu...
详细信息
ISBN:
(纸本)1402073747
generic HVSKELL exploits the promising new incarnation of genericprogramming due to Hinze. Apart from extending the programming language Haskell, Hinze-style polytypism offers a simple approach to defining generic functions which are applicable to types of all kinds. Here we explore a number of simple but significant extensions to Hinze's ideas which make genericprogramming both more expressive and easier to use. We illustrate our ideas with examples.
C++ is decidedly asymmetric in its approach to the static and dynamic aspects of the language. As a consequence, techniques that we develop using one aspect (e.g., for loops with STL iterators) will not work with the ...
详细信息
暂无评论