2596 search results - page 37 / 520 » Gradual Typing for Objects |
APLAS
2004
ACM
15 years 4 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...
124
click to vote
TLCA
1995
Springer
15 years 2 months ago
1995
Springer
operator abstraction is a language construct relevant to object oriented programming languages and to ML2000, the successor to Standard ML. In this paper, we introduce Fω ≤, a ...
TASE
2008
IEEE
15 years 5 months ago
2008
IEEE
This paper builds a bridge between permissions and ownership types. Ownership is a recognized alias control technique. With ownership, each object is assigned an owner and any acc...
100
click to vote
ICASSP
2007
IEEE
15 years 26 days ago
2007
IEEE
Despite a lot of research efforts in sports video processing, little work was done in volleyball video analysis due to the high density of players on the court and the complicated...
NIPS
2008
15 years 15 days ago
2008
Before the age of 4 months, infants make inductive inferences about the motions of physical objects. Developmental psychologists have provided verbal accounts of the knowledge tha...