179 search results - page 17 / 36 » Libraries for Generic Programming in Haskell |
EWSN
2010
Springer
14 years 22 days ago
2010
Springer
One unfortunate consequence of the success story of wireless sensor networks (WSNs) in separate research communities is an evergrowing gap between theory and practice. Even though ...
POPL
2005
ACM
14 years 8 months ago
2005
ACM
Haskell's type classes allow ad-hoc overloading, or typeindexing, of functions. A natural generalisation is to allow type-indexing of data types as well. It turns out that th...
ESOP
2012
Springer
12 years 3 months ago
2012
Springer
Abstract. This paper presents GMeta: a generic framework for firstorder representations of variable binding that provides once and for all many of the so-called infrastructure lem...
GPCE
2003
Springer
14 years 25 days ago
2003
Springer
Concepts—sets of abstractions related by common requirements— have a central role in generic programming. This paper proposes a general framework for using concepts to control ...
SBACPAD
2004
IEEE
13 years 9 months ago
2004
IEEE
This paper presents a high performance communication system based on generic programming. The system adapts itself according to the protocol being used on communication, simplifyi...