2362 search results - page 41 / 473 » Programming in Standard ML |
110
click to vote
ML
2008
ACM
14 years 11 months ago
2008
ACM
Standard pattern discovery techniques, such as association rules, suffer an extreme risk of finding very large numbers of spurious patterns for many knowledge discovery tasks. The...
106
click to vote
ESOP
2009
Springer
15 years 6 months ago
2009
Springer
Just as some functions have uniform behavior over distinct types, other functions have uniform behavior over distinct arities. These variable-arity functions are widely used in scr...
APLAS
2004
ACM
15 years 5 months ago
2004
ACM
Abstract. Region-based memory management scheme has been proposed for the programming language ML. In this scheme, a compiler statically estimates the lifetime of each object by pe...
108
click to vote
ML
2010
ACM
14 years 10 months ago
2010
ACM
Abstract A dynamic programming algorithm for constructing optimal dyadic decision trees was recently introduced, analyzed, and shown to be very effective for low dimensional data ...
117
click to vote
ENTCS
2006
14 years 12 months ago
2006
We describe an automatic complexity analysis mechanism for programs extracted from proofs carried out with the proof assistant Coq. By extraction, we mean the automatic generation...