909 search results - page 55 / 182 » Generic Programming: An Introduction |
HASKELL
2005
ACM
15 years 6 months ago
2005
ACM
A type-indexed function is a function that is defined for each member of some family of types. Haskell’s type class mechanism provides collections of open type-indexed function...
100
Voted
CSEE
2009
Springer
15 years 7 months ago
2009
Springer
There has been much recent interest in how to help students in higher education develop their generic skills, especially since this is a focus of the Bologna process that aims to ...
108
click to vote
ASIACRYPT
2008
Springer
15 years 2 months ago
2008
Springer
Abstract. The generic (aka. black-box) group model is a valuable methodology for analyzing the computational hardness of number-theoretic problems used in cryptography. Since the p...
116
Voted
OOPSLA
1999
Springer
15 years 4 months ago
1999
Springer
In this paper we present the Generic Graph Component Library (GGCL), a generic programming framework for graph data structures and graph algorithms. Following the theme of the Sta...
97
Voted
CORR
2008
Springer
15 years 20 days ago
2008
Springer
Many semantical aspects of programming languages are specified through calculi for constructing proofs: consider, for example, the specification of structured operational semantic...