909 search results - page 55 / 182 » Generic Programming: An Introduction |
71
Voted
HASKELL
2005
ACM
15 years 4 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...
82
Voted
CSEE
2009
Springer
15 years 5 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 ...
93
Voted
ASIACRYPT
2008
Springer
15 years 27 days 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...
102
Voted
OOPSLA
1999
Springer
15 years 3 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...
CORR
2008
Springer
14 years 11 months 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...