13 search results - page 2 / 3 » Template meta-programming for Haskell |
MPC
2004
Springer
13 years 10 months ago
2004
Springer
Abstract. Generic Programming deals with the construction of programs that can be applied to many dierent datatypes. This is achieved by parameterizing the generic programs by the...
DAGSTUHL
2003
13 years 6 months ago
2003
Abstract. Hydra is a domain-specific language for designing digital circuits, which is implemented by embedding within Haskell. Many features required for hardware specification ...
GPCE
2004
Springer
13 years 10 months ago
2004
Springer
PEPM
2007
ACM
13 years 11 months ago
2007
ACM
Program query languages and pattern-detection techniques are an essential part of program analysis and manipulation systems. Queries and patterns permit the identification of the...
DLS
2005
13 years 7 months ago
2005
Compile-time meta-programming allows programs to be constructed by the user at compile-time. Although LISP derived languages have long had such facilities, few modern languages ar...