2596 search results - page 30 / 520 » Gradual Typing for Objects |
100
click to vote
LICS
1993
IEEE
15 years 3 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...
APLAS
2010
ACM
14 years 11 months ago
2010
ACM
Abstract. The type system of Objective Caml has many unique features, which make ensuring the correctness of its implementation difficult. One of these features is structurally pol...
ICIAR
2005
Springer
15 years 4 months ago
2005
Springer
Video shots provide the most basic meaningful segments for video analysis and understanding. In this paper, we present a detection and classification framework for the video shot ...
83
Voted
CSL
2001
Springer
15 years 3 months ago
2001
Springer
We introduce a method of extending arbitrary categories by a terminal object and apply this method in various type theoretic settings. In particular, we show that categories that a...
ADC
2008
Springer
15 years 5 months ago
2008
Springer
As the eXtensible Markup Language (XML) is about to emerge as a new standard for databases, the problem of providing solid logical grounds for XML query languages arises. For the ...