Sciweavers

54 search results - page 2 / 11
» Dependency-style generic Haskell
Sort
View
AC
2003
Springer
13 years 10 months ago
Generic Haskell: Applications
Generic Haskell is an extension of Haskell that supports the construction of generic programs. These lecture notes discuss three advanced generic programming applications: generic ...
Ralf Hinze, Johan Jeuring
ICFP
2003
ACM
14 years 5 months ago
Dependency-style generic Haskell
Andres Löh, Dave Clarke, Johan Jeuring
DSL
2009
13 years 3 months ago
A Haskell Hosted DSL for Writing Transformation Systems
KURE is a Haskell hosted Domain Specific Language (DSL) for writing transformation systems based on rewrite strategies. When writing transformation systems, a significant amount of...
Andy Gill
HASKELL
2009
ACM
13 years 12 months ago
Alloy: fast generic transformations for Haskell
Data-type generic programming can be used to traverse and manipulate specific parts of large heterogeneously-typed tree structures, without the need for tedious boilerplate. Gene...
Neil C. C. Brown, Adam T. Sampson
MPC
2004
Springer
165views Mathematics» more  MPC 2004»
13 years 10 months ago
Prototyping Generic Programming in Template Haskell
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...
Ulf Norell, Patrik Jansson