206 search results - page 8 / 42 » Type Inference for Variant Object Types |
238
Voted
ECOOP
2009
Springer
16 years 2 months ago
2009
Springer
We present a type system for checking object immutability, read-only references, and class immutability in an open or closed world. To allow object initialization outside object co...
122
Voted
ENTCS
2007
15 years 2 months ago
2007
This paper is concerned with a proof-theoretic observation about two kinds of proof systems for regular cyclic objects. It is presented for the case of two formal systems that are...
128
click to vote
LICS
1993
IEEE
15 years 6 months ago
1993
IEEE
This paper presents an untyped lambda calculus, extended with object primitives that reflect the capabilities of so-called delegation-based object-oriented languages. A type infer...
154
Voted
TLCA
1995
Springer
15 years 5 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 ...
120
Voted
WWW
2010
ACM
15 years 9 months ago
2010
ACM
An improved understanding of the relationship between search intent, result quality, and searcher behavior is crucial for improving the effectiveness of web search. While recent p...