17 search results - page 4 / 4 » Polymorphic typed defunctionalization and concretization |
OOPSLA
1999
Springer
13 years 10 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...
ICFP
2010
ACM
13 years 7 months ago
2010
ACM
A wide range of computer programs, including compilers and theorem provers, manipulate data structures that involve names and binding. However, the design of programming idioms wh...