2932 search results - page 47 / 587 » Higher order mining |
APLAS
2003
ACM
15 years 5 months ago
2003
ACM
DSVIS
2003
Springer
15 years 5 months ago
2003
Springer
Based on a revision of the common task understanding in model-based approaches a formal meta model is proposed which allows more expressive task descriptions. A task is considered ...
ECOOP
2003
Springer
15 years 5 months ago
2003
Springer
This paper explains how higher-order hierarchies can be used to handle the expression problem. The expression is concerned with extending both the set of data structures and the s...
ESOP
2003
Springer
15 years 5 months ago
2003
Springer
Previous methods have generally identified the location of a type error as a particular program point or the program subtree rooted at that point. We present a new approach that ...
FOSSACS
2003
Springer
15 years 5 months ago
2003
Springer
Abstract. We solve the problem of extending Bird and Paterson’s generalized folds for nested datatypes and its dual to inductive and coinductive constructors of arbitrarily high ...