Sciweavers

2565 search results - page 199 / 513
» Object type constructors
Sort
View
128
Voted
CVPR
2007
IEEE
16 years 4 months ago
Mapping Natural Image Patches by Explicit and Implicit Manifolds
Image patches are fundamental elements for object modeling and recognition. However, there has not been a panoramic study of the structures of the whole ensemble of natural image ...
Kent Shi, Song Chun Zhu
112
Voted
ICFP
2008
ACM
16 years 2 months ago
Functional translation of a calculus of capabilities
Reasoning about imperative programs requires the ability to track aliasing and ownership properties. We present a type system that provides this ability, by using regions, capabil...
Arthur Charguéraud, François Pottier
POS
1994
Springer
15 years 6 months ago
Changing Persistent Applications
During the lifetime of an application, the objects and bindings in a persistent store may require modification in order to fix bugs or incorporate changes. Two mechanisms, Octopus...
Alex Farkas, Alan Dearle
115
Voted
CL
1999
Springer
15 years 1 months ago
Optimizing floating point operations in Scheme
It is well known that dynamic typing in languages like Lisp is costly in terms of performance. Besides the cost of tag checking, the other major source of ine ciency comes from th...
W. F. Wong
SAC
2004
ACM
15 years 7 months ago
Adding wildcards to the Java programming language
This paper describes wildcards, a new language construct designed to increase the flexibility of object-oriented type systems with parameterized classes. Based on the notion of v...
Mads Torgersen, Christian Plesner Hansen, Erik Ern...