Sciweavers

54 search results - page 1 / 11
» Dependency-style generic Haskell
Sort
View
HASKELL
2008
ACM
13 years 12 months ago
Comparing libraries for generic programming in haskell
Alexey Rodriguez, Johan Jeuring, Patrik Jansson, A...
AAIP
2009
13 years 8 months ago
Deriving a Relationship from a Single Example
Given an appropriate domain specific language (DSL), it is possible to describe the relationship between Haskell data types and many generic functions, typically type-class instan...
Neil Mitchell
JFP
2010
109views more  JFP 2010»
13 years 9 months ago
Generic programming with C++ concepts and Haskell type classes - a comparison
Earlier studies have introduced a list of high-level evaluation criteria to assess how well a language supports generic programming. Languages that meet all criteria include Haske...
Jean-Philippe Bernardy, Patrik Jansson, Marcin Zal...
DSL
2009
13 years 8 months ago
Generic Libraries in C++ with Concepts from High-Level Domain Descriptions in Haskell
Daniel Lincke, Patrik Jansson, Marcin Zalewski, Ce...
ICFP
2006
ACM
14 years 10 months ago
Context-parametric polykinded types
Generic Haskell is a language extension of Haskell for polytypic programming. Constrained types are parametric algebraic types with at least one argument constrained by type-class...
Pablo Nogueira