1313 search results - page 139 / 263 » Generic Universe Types |
135
Voted
MPC
1998
Springer
15 years 9 months ago
1998
Springer
A nested datatype, also known as a non-regular datatype, is a parametrised datatype whose declaration involves different instances of the accompanying type parameters. Nested datat...
140
click to vote
EWCBR
1993
Springer
15 years 9 months ago
1993
Springer
Problem solving in weak theory domains should compensate for the lack of strong theories by combining the various other knowledge types involved. Such methods should be able to eff...
138
click to vote
ICCS
2007
Springer
15 years 8 months ago
2007
Springer
We propose in this paper an extension of Conceptual Graphs that allows to use datatypes (strings, numbers, ...) for typing concept nodes. Though the model-theoretic semantics of th...
155
click to vote
FPCA
1995
15 years 8 months ago
1995
In functional programming, intermediate data structures are often used to “glue’) together small programs. Deforestation is a program transformation to remove these intermedia...
122
click to vote
WSC
2007
15 years 7 months ago
2007
The significance of simulation modeling at multiple levels, scales, and perspectives is well recognized. However, existing proposals for developing such models are often applicati...