2091 search results - page 8 / 419 » On Regions and Linear Types |
POPL
1996
ACM
13 years 11 months ago
1996
ACM
Region Inference is a technique for implementing programming languages that are based on typed call-by-value lambda calculus, such as Standard ML. The mathematical runtime model o...
IPMU
2010
Springer
14 years 6 days ago
2010
Springer
Abstract. Many geographical applications need to model spatial phenomena with vague or indeterminate boundaries and interiors. A popular paradigm adopted by the GIS community for t...
APLAS
2009
ACM
13 years 11 months ago
2009
ACM
Type and effect systems are a tool to analyse statically the behaviour of programs with effects. We present a proof based on the so called reducibility candidates that a suitable ...
GEOINFO
2004
13 years 8 months ago
2004
ceptual, or abstract level, a value of type moving point (type mpoint, for short) is a function from time into point values, and a moving region (mregion) value is a function from ...
ICASSP
2009
IEEE
14 years 2 months ago
2009
IEEE
We introduce a new exemplar-based inpainting algorithm that represents the region to be inpainted as a sparse linear combination of example blocks, extracted from the image being ...