1003 search results - page 10 / 201 » Type Inference with Inequalities |
ISVC
2010
Springer
13 years 6 months ago
2010
Springer
We propose an adaptive procedure for segmenting images by merging of homogeneous regions. The algorithm is based on sharp concentration inequalities and is tailored to avoid over-...
POPL
1991
ACM
13 years 11 months ago
1991
ACM
We present a new approach to the polymorphic typing of data accepting in-place modification in ML-like languages. This approach is based on restrictions over type generalization,...
SIAMNUM
2010
13 years 2 months ago
2010
This paper deals with error estimates for space-time discretizations in the context of nary variational inequalities of rate-independent type. After introducing a general abstract ...
POPL
1998
ACM
13 years 11 months ago
1998
ACM
constraint solver. The other infers annotations on bound variables in function abstractions by propagating type constraints downward from enclosing application nodes. We motivate o...
CONCUR
2006
Springer
13 years 11 months ago
2006
Springer
We extend a previous type system for the -calculus that guarantees deadlock-freedom. The previous type systems for deadlockfreedom either lacked a reasonable type inference algorit...