3001 search results - page 236 / 601 » Recursive type generativity |
228
click to vote
DILS
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. Ecologists spend considerable effort integrating heterogeneous data for statistical analyses and simulations, for example, to run and test predictive models. Our research...
169
click to vote
TIC
2000
Springer
15 years 10 months ago
2000
Springer
Singleton kinds provide an elegant device for expressing type equality information resulting from modern module languages, but they can severely complicate the metatheory of langu...
170
click to vote
SAC
2006
ACM
15 years 6 months ago
2006
ACM
The second-class formulation of generics in Java 5.0 discards generic type information during compilation. As a result, Java 5.0 prohibits run-time type-dependent operations, gene...
183
click to vote
IFL
2005
Springer
16 years 57 min ago
2005
Springer
Polytypic functional programming has the advantage that it can derive code for generic functions automatically. However, it is not clear whether it is useful for anything other tha...
155
click to vote
DIAGRAMS
2004
Springer
15 years 12 months ago
2004
Springer
In problem solving a goal/subgoal is either solved by generating needed information from current information, or further decomposed into additional subgoals. In traditional problem...