2596 search results - page 198 / 520 » Gradual Typing for Objects |
181
click to vote
PVLDB
2008
15 years 3 months ago
2008
Uncertainty pervades many domains in our lives. Current real-life applications, e.g., location tracking using GPS devices or cell phones, multimedia feature extraction, and sensor...
147
Voted
OOPSLA
2010
Springer
15 years 2 months ago
2010
Springer
Tribal Ownership unifies class nesting and object ownership. Tribal Ownership is based on Tribe, a language with nested classes and object families. In Tribal Ownership, a progra...
239
Voted
AR
2011
14 years 11 months ago
2011
This paper presents a novel method for learning object manipulation such as rotating an object or placing one object on another. In this method, motions are learned using referenc...
277
click to vote
Book
"These course notes are addressed to a wide audience of people interested in modern programming languages in general, ML-like languages in particular, or simply in OCaml, whet...
196
click to vote
POPL
2005
ACM
16 years 4 months ago
2005
ACM
Abstract. In a previous paper, we discussed how the concepts of uniqueness and effects are interdependent. In this paper, we show how "Adoption and Focus," a proposal for...