2440 search results - page 329 / 488 » Explanation-Based Feature Construction |
125
Voted
ICFP
2006
ACM
16 years 4 months ago
2006
ACM
Generalized algebraic data types (GADTs), sometimes known as "guarded recursive data types" or "first-class phantom types", are a simple but powerful generaliz...
137
Voted
ICFP
2006
ACM
16 years 4 months ago
2006
ACM
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...
152
click to vote
ICFP
2006
ACM
16 years 4 months ago
2006
ACM
Datatype-generic programming (DGP) is the next step beyond abstracting over types using parametric polymorphism, which is often called "genericity" in object-oriented la...
141
click to vote
ICFP
2005
ACM
16 years 4 months ago
2005
ACM
Recent research has shown how boilerplate code, or repetitive code for traversing datatypes, can be eliminated using generic programming techniques already available within some i...
115
Voted
ICFP
2005
ACM
16 years 4 months ago
2005
ACM
Current languages allow a programmer to describe an interface only by enumerating its parts, possibly including other interfaces wholesale. Such languages cannot express relations...