2233 search results - page 26 / 447 » Modular type classes |
CORR
2007
Springer
14 years 11 months ago
2007
Springer
The ubiquity of modular structure in real-world complex networks is being the focus of attention in many trials to understand the interplay between network topology and functionali...
TPHOL
2005
IEEE
15 years 5 months ago
2005
IEEE
We have definitionally extended Isabelle/HOLCF to support axiomatic Haskell-style constructor classes. We have subsequently defined the functor and monad classes, together with t...
FOSSACS
2001
Springer
15 years 4 months ago
2001
Springer
In a recent paper we introduced a new framework for the study of call by need computations. Using elementary tree automata techniques and ground tree transducers we obtained simple...
OOPSLA
2004
Springer
15 years 5 months ago
2004
Springer
This paper presents the design of G, a new language specifically created for generic programming. We review and identify important language features of C++ and Haskell in light o...
114
click to vote
CORR
2007
Springer
14 years 11 months ago
2007
Springer
Modular structure is ubiquitous in real-world complex networks. The detection of this type of organization into modules gives insights in the relationship between topological stru...